Lexikon der Mathematik: Turing-Grad
Rekursivitätsgrad, Unlösbarkeitsgrad, Bezeichnung für eine Äquivalenzklasse bezüglich der Relation ≤T (Orakel-Turing-Maschine).
Dies bedeutet, daß zwei Mengen A und B denselben Turing-Grad haben, falls A relativ zu B entscheidbar ist und umgekehrt. Siehe hierzu auch Theorie der Unlösbarkeitsgrade.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!