Programmiersprachen

Eine Programmiersprache wird durch zwei Komponenten definiert:

Die Syntax, die durch eine formelle Grammatik beschrieben wird, spezifiziert welche Programmtexte zulässig für die Programmiersprache sind und welche nicht.

Die Semantik beschreibt, welche Bedeutung Programmtexte haben. Es gibt verschiedene formelle Methoden, die Semantik einer Programmiersprache zu spezifizieren (Beispiele: operationelle, denotationelle und axiomatische Semantik), sehr häufig geschieht dies jedoch informell.

	Die Syntax, die durch eine formelle Grammatik beschrieben wird, spezifiziert welche Programmtexte zulässig für die Programmiersprache sind und welche nicht.
	Die Semantik beschreibt, welche Bedeutung Programmtexte haben. Es gibt verschiedene formelle Methoden, die Semantik einer Programmiersprache zu spezifizieren (Beispiele: operationelle, denotationelle und axiomatische Semantik), sehr häufig geschieht dies jedoch informell.