Definition der statischen TL Sprachsemantik

Zusammenfassung

Eine präzise Beschreibung einer Programmiersprache ist eine Voraussetzung für ihre Implementierung und ihre Benutzung. Die Beschreibung kann verschiedene Formen besitzen, die jeweils einem gewissen Zweck angepaßt sind. Programmbeispiele und umgangssprachliche Erklärungen wie in den vorangegangenen Kapiteln sind von großer Wichtigkeit zum Verständnis der Pragmatik und Semantik einer Programmiersprache durch menschliche Benutzer. In Referenzhandbüchern hat sich darüber hinaus eine Formalisierung der konkreten Syntax durch EBNF (Extended Backus Naur Formalism) Grammatiken bzw. Syntaxgraphen als sinnvoll erwiesen.