Diese Arbeit beschreibt generische Transformationen von abstrakten
Zustandsmaschinen. Die Korrektheit der "Ubersetzung einer
Programmiersprache A in eine andere Sprache B wird gegen"uber den
Semantiken der Sprachen nachgewiesen. L"a"st sich die
Semantik der Sprache B unter Anwendung bedeutungserhaltender
Transformationen aus der Semantik der Sprache A ableiten, dann
definieren diese Transformationen eine korrekte "Ubersetzung der
Sprache A in die Sprache B. Setzt sich die Transformation aus
korrekten Instanzen generischer Transformationen zusammen, deren
Korrektheit einmal gezeigt wird, dann folgt daraus die Korrektheit der
Transformation automatisch.