5CS-TI1AS-CS: Automaten und formale Sprachen