Syntax von Programmiersprachen – Formale Sprachen und Automaten

Zusammenfassung

In diesem Kapitel werden wir sehen, wie die formal saubere Definition der Syntax einer Programmiersprache gelingt und wie der Aufwand, den wir für die Entscheidung darüber treiben müssen, ob ein Programm syntaktisch korrekt ist oder nicht, wesentlich von der Komplexität der Strukturen abhängt, die wir in der Syntax erlauben. Auf Basis der in diesem Kontext entwickelten Theorie ist es heute möglich, einen Compiler als Praktikumsaufgabe implementieren zu lassen, wogegen die Entwicklung des ersten FORTRAN-Compilers bei IBM etwa 30 Mannjahre benötigte.