Lexikon der Mathematik: Äquivalenzproblem
allgemeine Bezeichnung für ein Entscheidungsproblem, bei dem zwei Berechnungsformalismen, wie z. B. Turing-Maschinen, gegeben sind, und festgestellt werden soll, ob diese dieselbe Funktion berechnen oder dieselbe formale Sprache beschreiben.
Für Turing-Maschinen ist das Äquivalenzproblem nicht entscheidbar.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!