Erkenntnisinteresse

Zusammenfassung

Untersuchungen zur automatischen Erzeugung von Umsetzungsautomaten liegen bisher nicht vor. Ein Umsetzungsautomat wird aufgefaßt als eine operationalisierte und maschinell realisierbare Beschreibung einfacher Übersetzungszusammenhänge, die dazu dient, den Elementen eines von zwei Systemen, zwischen denen ein Umsetzungszusammenhang besteht, ein (oder mehrere) Element(e) des zweiten Systems zuzuordnen, so daß die Zuordnungen dem Umsetzungszusammenhang entsprechen. “Automatische Erzeugung” soll heißen, daß ein solcher Umsetzungsautomat aufgrund einer Operationalisierung und maschinellen Realisierung der Entdeckungsprozeduren, die einer Beschreibung vorausgehen, automatisch erstellt werden kann.¹