Der Satz von Rice besagt , dass die einzigen semantischen Eigenschaften von Turing Machines (dh die Eigenschaften der von der Maschine berechneten Funktion), die wir bestimmen können, die beiden trivialen Eigenschaften sind (dh immer wahr und immer falsch).
Es gibt aber auch andere Eigenschaften von Turingmaschinen, die nicht bestimmbar sind. Zum Beispiel ist die Eigenschaft, dass in einer bestimmten Turing-Maschine ein unerreichbarer Zustand vorliegt, unentscheidbar .
Gibt es einen ähnlichen Satz wie den von Rice, der die Entscheidbarkeit ähnlicher Eigenschaften kategorisiert? Ich habe keine genaue Definition. Jeder bekannte Satz, der das von mir angegebene Beispiel abdeckt, wäre für mich interessant.
es einfach ist , zu beweisen , dass dieser Satz unentscheidbar ist mit Kleenes Rekursion / Fixed Point Theoremen .
Antworten:
quelle