10.01.2022 – Theoretische Informatik: Formale Sprachen und Automaten