rekursive Funktionen Aussagenlogik reguläre Ausdrücke, endliche Automaten (done) Eindeutigkeit prüfen (Linksableitungen) (done) Automaten (Keller-, Turing-)