Syntax von DML

  Der Autor hat für diese Arbeit die Definition von A. Pell in eine HTML-Version übersetzt. Die Definition ist in einer erweiterten BNF-Notation formuliert. Jedes terminale Symbol ist am Schluß aufgelistet und mit einem Verweis auf die Regel, in der es erscheint, versehen. Damit kann man (in einem geeigneten HTML-Browser) mit einem Mausklick vom terminalen Symbol zur Regel springen. Genauso ist jedes nicht-terminale Symbol mit seiner Definition verbunden. So kann ein gegebener DML-Text leichter analysiert werden.

Die HTML-version ist das Ergebnis einer LaTeX2html-Datei die wiederum automatisch von einem Prolog-Programm erzeugt wurde, das die erweiterte BNF-Notation lesen kann. Das Prolog-Programm stammt von mir. Wer Interesse hat, kann es jederzeit gerne bekommen.

Es folgt das Ergebnis der Übersetzung. Die Regeln sind in der originalen Reihenfolge. Die letzte Regel ist gewissermaßen die Wurzel: sie beschreibt, den Aufbau eines ganzen Modells (wholeModel).