Die Repräsentation von Modula-Programmen

Zusammenfassung

Im vorigen Kapitel wurde ein Formalismus eingeführt, mit dem im weiteren Strukturen wohlgeformter Programme definiert werden. Der Formalismus definiert jedoch lediglich die Methode, mit der Programme als Symbolfolgen — im Gegensatz zu Zeichenfolgen — aufgebaut werden. Dieser “Nachteil” ist aber durchaus beabsichtigt. Denn die Repräsentation von Symbolen (und dadurch auch Programmen) in Form von Zeichen hängt zu sehr von individuellen Implementierungen ab, als daß sie für das hohe Abstraktionsniveau einer Sprachdefinition geeignet wäre. Die Einführung einer Zwischenstufe zur Repräsentation von Symbolfolgen gewährleistet eine sinnvolle Entkopplung von Sprache und letztendlicher Programmrepräsentation, die vom verfügbaren Zeichensatz abhängt. Folglich müssen wir eine Menge von Regeln zur Repräsentation von Symbolen als Zeichenfolgen verlangen. Die Symbole des Modula-Vokabulars sind in die Klassen