Es ist bekannt, dass jede (deterministische, einfach geklebte) Turing-Maschine rechtzeitig läuft , entscheidet sich für eine reguläre Sprache (zB siehe diesen Link ). Es gibt also eine äquivalente Turing-Maschine, die rechtzeitig läuft. Mit anderen Worten, wenn dann
Ich habe mich gefragt, ob es ein Beispiel gibt, in dem die ursprüngliche Turing-Maschine nicht rechtzeitig lief .
Zusammenfassend: Gibt es eine Turing-Maschine, die rechtzeitig läuft? , aber nicht ?
Antworten:
Die Antwort scheint negativ zu sein, wie aus Korollar 4.12 der Überprüfung der Zeitkomplexität deterministischer Turingmaschinen von David Gajser ( ArXiv ) hervorgeht.
quelle