Grammatiken und formale Sprachen

Zusammenfassung

Angenommen, wir wollen ein Programm schreiben, das C-Programme darauf testet, ob sie syntaktisch korrekt sind. Dann muß unser Programm folgendes leisten:

• 1. Es muß erst einmal erkennen, wo ein Wort der Programmiersprache anfängt und wo es aufhört. Außerdem muß es Schlüsselwörter der Sprache, wie z.B. „if“ oder „while“, von Variablennamen unterscheiden.

• 2. Dann muß es feststellen, welche Sprachkonstrukte vorliegen — eine ifAnweisung, eine Variablendeklaration, eine Funktionsdefinition — und ob diese Sprachkonstrukte syntaktisch korrekt sind oder ob der if-Anweisung ein ,)’ fehlt.

• 3. Schließlich sollte unser Programm noch darauf achten, daß nicht versucht wird, z.B. einer Integer-Variablen einen String zuzuweisen.