Sprachdefinition mit Syntaxdiagrammen

engl.: language definition with syntax diagrams

Seien $T$ und $N$ zwei disjunkte Alphabete. Die Elemente von $T$ nennen wir Terminalsymbole, die von $N$ Nichtterminalsymbole.

Sei $\Delta$ eine endliche Menge von Syntaxdiagrammen mit Namen aus $N$, in denen Terminalknoten mit Terminalsymbolen und Nichtterminalknoten mit Nichtterminalsymbolen markiert sind.

Sei $S \in N$; $S$ heißt Startsymbol oder Axiom.

Dann heißt $\Gamma = ( N, T, \Delta, S)$ eine Sprachdefinition mit Syntaxdiagrammen, kurz SDmSD.