Verständnis Halteproblem < Komplex. & Berechnb. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 10:13 Fr 07.06.2013 | | Autor: | Physy |
Hallo, ich habe eine Frage zum Halteproblem. Dieses sagt ja aus, dass es keine Turingmaschine gibt, die bei Eingabe einer anderen (codierten) Turingmaschine M und einem Eingabewort w, 1 ausgibt, wenn M auf w stoppt und 0 ausgibt, wenn M auf w nicht stoppt.
Meine Frage: Sind die w bei denen M nicht stoppt genau die Eingaben für die die zugehörige partielle Funktion von M nicht definiert ist?
Z.B. gebe ich die Turingmaschine M mit w als Eingabewort ein. M berechne [mm] [0;1]->\IR, [/mm] 1/x (0 eingeschlossen!). Wäre dann das Tupel (M,0)=(M,w) ein solches, bei dem M nicht stoppt?
Denn per Definition soll eine Turingmaschine ja in eine Endlosschleife geraten, wenn eine undefinierte Eingabe geschieht.
Ich würde mich sehr freuen, wenn darauf jemand eingeht =)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:21 So 09.06.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
