Syntax

Zusammenfassung

Wenden wir uns nun der Syntax zu, die die Frage behandelt, welche Folge von Einzelzeichen in einer bestimmten Programmiersprache eine berechenbare Funktion beschreibt und somit zulässig ist und welche Folge von Einzelzeichen unzulässig ist. Die zulässigen Zeichenfolgen werden oft auch korrekte Zeichenfolgen genannt^*). In einer nichtformalen Weise können wir beispielsweise den Begriff der Wertzuweisung, wie ihn die meisten Programmiersprachen kennen, in folgender Weise definieren: „Eine Wertzuweisung besteht aus einer Variablen, einem Ergibtzeichen und einem Ausdruck, wobei diese Reihenfolge einzuhalten ist.“ Viele Mißverständnisse zwischen den Autoren und den Benutzern einer Programmiersprache können vermieden werden, wenn man eine solche Definition durch Formeln ersetzt, denn man kommt sehr schnell zu umfangreicheren und unübersichtlicheren Beispielen, als es die Wertzuweisung ist.