Syntax
Bedeutung
Die Syntax einer formalen Sprache gibt an, wie die Elemente der Sprache (Sätze, Worte, Diagramme) zusammengesetzt sind, d.h. welche Form sie haben. Die Semantik gibt den Elementen einer formalen Sprache eine Bedeutung.
Bemerkungen
Es gibt formale Sprachen ohne Semantik (z.B. die Sprache der balancierten Klammerausdrücke).
Es gibt Sprachen mit formaler Syntax und informeller Semantik.
Moderne Programmier- und Spezifikationssprachen besitzen formale Syntax und wohldefinierte Semantik.
Syntax und Semantik zu unterscheiden bedeutet zwischen Beschreibung und Beschriebenem zu unterscheiden.
Unterschiedliche Beschreibungen können die gleiche Semantik haben.
Maschinen verarbeiten Beschreibungen.
Salopp gesagt: „Semantik ist das, was ich will, Syntax ist der Weg, es der Maschine/den Mitmenschen mitzuteilen.“