Kapitel VI: Automaten und formale Sprachen