Maschinen-unabhngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin fhrt er seine Idee aus, da Compilation ein spezieller Fall von sog. "mixed
computation" sei, welche sich kurz so charakterisieren lt, da alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgnger, obwohl
verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die se Modelle (teilweise unzulssig) Erklrungsversuche fr den Vorgang der Compilation - da das Resultat quivalenter aus fhrbarer Maschinencode ist,
nehmen wir als gemeinsame An sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklrbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten theorie), die in
geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hngen in gewisser Weise von der Quell sprache ab (man kann den Akzeptor aus einer guten syntak tischen Beschreibung erzeugen) bzw. werden vom
Compiler konstrukteur auf Grund seiner Erfahrung entwickelt.