(Ich hoffe, das wurde vorher nicht gefragt, aber ich habe nichts gefunden.) Nach meinem Verständnis gilt der Nichtdeterminismus nur für Entscheidungsprobleme, da die Existenz eines akzeptierenden Pfades erforderlich ist . In Wikipedia wird die Klasse -easy als in deterministischer Poltime lösbar...
Turings Ziel beim Aufbau seines Konzepts war es, zu formalisieren, wie Menschen abstrakt argumentieren. Korrigieren Sie mich jetzt, wenn ich falsch liege, aber diese Argumentation scheint nur eine Übung zu sein, bei der Sie eine Reihe formaler Anweisungen manipulieren, dh Zeichenfolgen ohne...
Die Turing-Maschine wurde von einem menschlichen Verstand erfunden. Vermutlich kann nichts weniger Leistungsfähiges als eine Turingmaschine eine Turingmaschine erfinden. Eine Turing-Maschine hat jedoch unendlich viel Band, während sich der Geist in einem endlichen Universum befindet und daher nur...
Es ist bekannt, dass jede (deterministische, einfach geklebte) Turing-Maschine rechtzeitig läuft o ( n logn )o(nlogn)o(n\log n), entscheidet sich für eine reguläre Sprache (zB siehe diesen Link ). Es gibt also eine äquivalente Turing-Maschine, die rechtzeitig läuftO ( n )O(n)O(n). Mit anderen...
Dies ist bekannt über das Halteproblem und die Halbentscheidbarkeit: Das Halteproblem besagt, dass wir für eine gegebene Eingabe x und eine Maschine H nicht sagen können, ob die Maschine H bei Eingabe x anhält oder nicht. Eine Sprache gilt als halbentscheidbar, wenn es eine Turing-Maschine gibt,...
Es gibt eine äquivalente Definition für die Klasse NLNL\mathsf{NL}mit Verifizierer. Diese Prüfer sind deterministische Turing-Maschinen, die das Zeugenband nur einmal auf eine Weise von links nach rechts lesen können. Eine Funktion gegeben f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} das sagen wir...
Ich war etwas verwirrt mit der Richtung der Reduzierungen, die verwendet wurden, um zu zeigen, dass bestimmte Sprachen nicht rekursiv sind. wir zum Beispiel an, wir möchten feststellen, ob das ( ) unentscheidbar ist. Ich weiß, wir können davon ausgehen, dass es entscheidbar ist, und dann versuchen,...
Unter den Turing-Graden befinden sich Grade der Form , z. B. , , usw.0n0n0^n0000'0′0'0''0″0'' Ich werde dies der Vollständigkeit halber nur schnell beweisen. Hoffentlich hat niemand Bedenken mit diesem kurzen Beweis: Lemma: Jeder zählbare Satz von Sätzen natürlicher Zahlen kann als ein einzelner...
Weiß jemand, wie effizient die erste Turing-Maschine war, die Alan Turing hergestellt hat? Ich meine, wie viele Züge hat es pro Sekunde oder so gemacht ... Ich bin nur neugierig. Ich konnte auch keine Informationen darüber im Web