Konzepte h¨oherer Programmiersprachen (Entwurf) - WSI ...

24 2.3 Bootstrapping
• Benutzung der Sprache und Wartung von Sprachprozessoren können in einer
abgeschlossenen Welt stattfinden; es ist nicht nötig, diese zu verlassen, um etwas
an der Sprache oder ihrer automatischen Behandlung zu verbessern oder zu
verändern.
Es leuchtet unmittelbar ein, dass sich Änderungen am Übersetzungsverfahren oder
auch Änderungen am Sprachumfang auf diese Weise leicht bewerkstelligen lassen;
eine einmalige ” Selbstübersetzung“ des Sprachprozessors genügt für diese Zwecke.
Es stellt sich aber das Problem, einen ersten Sprachprozessor überhaupt ans Laufen
zu bekommen. Diesen Prozess nennt man ” bootstrapping“. Zur Übersicht über solche
Prozesse eignen sich die (von Earley erstmalig vorgeschlagenen) ” T-Diagramme“.
P
M
Abbildung 2: I-Diagramm
Das Diagramm in Abb. 2 bedeutet: ” Programm P ist geschrieben in Sprache M“.
Diese Sprache könnte eine höhere Programmiersprache (z.B. Pascal) sein, aber auch eine
Maschinensprache. Die Unterscheidung zwischen höheren Programmiersprachen
und Maschinensprachen ist dabei nicht sehr wichtig: Jede Programmiersprache definiert
eine abstrakte Maschine, die in der Lage ist, Programme in dieser Sprache auszuführen.
Eine ” abstrakte Pascal-Maschine“ wäre etwa in der Lage, Pascal-Programme
in ihrer Quellsprach-Fassung direkt auszuführen. Umgekehrt definiert eine Maschine
natürlich durch ihre Maschineninstruktionen auch eine Sprache, die nämlich durch
Kombinationen dieser Instruktionen gegeben ist. Wenn die Sprache eines Programms
mit der Sprache einer Maschine übereinstimmt, dann kann dieses Programm auf dieser
Maschine ohne weitere Vorrichtungen direkt ablaufen; anderenfalls sind zusätzliche
Mechanismen nötig.
Abb. 3 bedeutet nun: ” Programm P , geschrieben in (Maschinen-) Sprache M, läuft
auf Maschine M und transformiert Eingabe E in Ausgabe A.“
Jetzt kann man bereits schildern, wie ein Interpreter in dem Fall eingesetzt werden
kann, wo die Sprache des Programms nicht mit der Maschinensprache übereinstimmt:
in Abb. 4 sorgt ein Interpreter für die Sprache M, der selbst in einer Sprache M ′ geschrieben
ist, dafür, dass das in M geschriebene Programm P auf der Maschine M ′
ablaufen kann.
Bereits zuvor wurden die Vorteile einer Übersetzung gegenüber der Interpretation
skizziert. Für Übersetzungsprogramme wird eine andere Notation verwendet, die nun
zufällig auch wie ein ” T“ aussieht, nämlich das in Abb. 5 gezeigte T-Diagramm für
einen Übersetzer.
kogrund.pdf