11.01.2021 – Theoretische Informatik: Formale Sprachen und Automaten