engl.: syntax

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.

• 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.“