Ich frage mich , ob es ein einfaches Beispiel von Sätzen ist und , so dass ist Turing-reductible zu , aber nicht viele-zu-eins reductible zu
Die Standardfunktion für beschäftigte Biber macht auf die endgültige Anzahl von Symbolen ungleich Null auf dem Band aufmerksam. Wir könnten stattdessen die größte Anzahl von Symbolen ungleich Null betrachten, die zu jedem Zeitpunkt der Berechnung auf dem Band erscheinen . Die Untergrenze dieser...
Das Halteproblem ist definiert als: HTM={⟨M,w⟩∣M halts on input w}HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Ich bin mir nicht sicher, was es bedeutet. Ist eine Sammlung von Turingmaschinen, so dass alle das Wort akzeptieren / ablehnen ?...
Ich schaue mir hier mein Lehrbuch von Michael Sipser an und er sagt, dass eine nicht deterministische Turing-Maschine ein Entscheider ist, wenn alle ihre Berechnungszweige bei allen Eingaben anhalten. Ich denke, ich erinnere mich, dass ich irgendwo etwas gesehen habe, was man als nicht...
Ich denke, der halbe Kampf bei der Beantwortung dieser Frage liegt darin, sie genau zu formulieren! Eine Suchmaschine taucht nicht viel auf, deshalb habe ich mich gefragt, ob dies eine bekannte oder gut untersuchte Frage ist. Meine Gedanken: Ich denke, der einfachste Weg, diese Frage zu...
Wenn Sie eine Entscheidung für eine Maschine schreiben, um zu sehen, ob sie bei einer Eingabe von w eine Bewegung nach links ausgeführt hat oder nicht , wird gesagt, dass, wenn wir die Berechnung für fortsetzen|w|+N+1|w|+N+1|w|+N+1 (NNN : Anzahl der Zustände) Anzahl der Schritte, wir können eine...
Mit einer Vanille-Turing-Maschine meine ich eine Turing-Maschine mit einem Band (keine speziellen Eingabe- oder Ausgabebänder). Das Problem ist wie folgt: Das Band ist anfangs leer, abgesehen von einer Zeichenfolge von nnn 111s und 000s wird durch ein Zeichen am Ende der Zeichenfolge abgeschlossen....
Bei einer Turing-Maschine sagen wir, dass wenn die von der Maschine festgelegte Sprache von einer Maschine in Polynomzeit bestimmt werden kann. Wir sagen, dass wenn die Maschine in Polynomzeit läuft. Beachten Sie, dass es Maschinen geben kann, die unnötig lange laufen, aber dennoch eine Sprache in...
Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen. Mir ist aufgefallen, dass vielleicht jedes...
Angenommen, wir haben einen Baum, in dem Blätter mit einer Reihe von Zahlen und interne Knoten mit einer Reihe von Operationen .L.LLÖOO Insbesondere kann oder und optional und / oder . kann eine beliebige Teilmenge von .L.LLN , Z.N,Z\mathbb{N},
Ich habe zwei berühmte Bücher über "Automaten und formale Sprachtheorie" verfolgt: Micheal Sipsers Buch Jeffrey Ullman und John Hopcrofts Buch In beiden Büchern unterscheidet sich die Tupel-Level-Definition der Turing-Maschine voneinander. Obwohl die Arbeit auf abstrakter Ebene gleich ist,...
Ich versuchte , zu beweisen , dass die folgende rekursive Sprache ist: für , eine positive ganze Zahl: , woΣ={0,1}Σ={0,1}\Sigma=\{0,1\}kkkLk=HTM,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HTM,ε={⟨M⟩∣M is a TM that halts on an empty input}HTM,ε={⟨M⟩∣M is a TM that halts on an...
Ich entschuldige mich, wenn diese Frage schon einmal gestellt wurde, aber ich konnte kein Duplikat finden. Ich habe gerade The Annotated Turing gelesen und bin etwas verwirrt. Nach meinem Verständnis besteht das Entscheidungsproblem darin, ob ein Algorithmus existiert oder nicht, der bestimmen...
Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von...
(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...