Automata, Formal Languages and Computation
Vermittlung von Grundlagen der Berechenbarkeit, formalen Sprachen und Automatentheorie. Behandlung von Modellen der Berechnung, Entscheidbarkeit und Grenzen der Berechnung sowie deterministischen und nicht-deterministischen endlichen Automaten.