Heinrich Becker
Ableitung Akzeptor Algorithmen Automaten Beweis Chomsky-Normalform Kellerautomat Kontextfreie Grammatik Kontextsensitive Sprache Semi-Thue-System Turingmaschine Wortproblem formale Sprache formale Sprachen Äquivalenzproblem