Formale Sprachen, abstrakte Automaten und Compiler