2 Grundlagen In diesem Abschnitt werden die Grundbegriffe und Methoden der Theorie der formalen Sprachen und der Automaten wiederholt, soweit diese ben ö tigt werden –f ü r die Definition der Syntax von Programmiersprachen und –f ü r den Entwurf von Analyse-Verfahren und -Programmen.
2.1 Grammatiken und formale Sprachen Die Theorie der formalen Sprachen entstand aus Arbeiten von Chomsky, der versuchte, mit Hilfe von Begriffsbildungen aus der formalen Logik den Aufbau nat ü rlicher Sprachen zu beschreiben. Beispiel: