Ich benutze einen digitalen Computer, um diese Nachricht zu schreiben. Solch eine Maschine hat eine Eigenschaft, die, wenn Sie darüber nachdenken, tatsächlich bemerkenswert ist: Es ist eine Maschine, die, wenn sie entsprechend programmiert ist, jede mögliche Berechnung durchführen kann . Natürlich...
Ich weiß, dass NAND-Gatter verwendet werden können, um Schaltkreise zu erstellen, die jede Wahrheitstabelle implementieren, und moderne Computer bestehen aus NAND-Gattern. Was ist der theoretische Zusammenhang zwischen NAND-Gattern und Turing-Vollständigkeit? Es scheint mir, dass...
Ich habe diese Fragen aus einer alten Prüfung, die ich zu lösen versuche. Für jedes Problem ist die Eingabe eine Codierung einiger Turing Maschine MMM . Für eine ganze Zahl c>1c>1c>1 und die folgenden drei Probleme: Stimmt es, dass M für jede Eingabe xxx die nicht übergibt ? x | +...
Ich bin ein bisschen neu, aber sehr interessiert am Gebiet der Computer- und Komplexitätstheorie, und ich möchte mein Verständnis darüber klären, wie man Probleme klassifiziert und wie stark sich die Probleme auf die Maschine beziehen, mit der sie gelöst werden. Mein Verständnis Standard Turing...
Ich versuche, die Existenz nicht erkennbarer Sprachen zu verstehen. Um dies zu erreichen, muss ich wissen, warum eine Turing-Maschine nur eine Sprache erkennt, nicht mehrere. Warum ist
Ich habe in Wikipedia und einigen anderen Texten gelesen, dass Das Problem des Anhaltens ist für [...] linear begrenzte Automaten (LBAs) und deterministische Maschinen mit endlichem Speicher [...] entscheidbar . Aber früher steht geschrieben, dass das Halteproblem ein unentscheidbares Problem ist...
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und...
Hintergrund: Ich bin ein kompletter Laie in der Informatik. Ich las über Busy Beaver Zahlen hier , und ich fand die folgende Passage: Die Menschheit kann den Wert von BB (6) niemals genau kennen, geschweige denn den von BB (7) oder eine höhere Zahl in der Sequenz. In der Tat entziehen sich uns...
Ich habe die Wikipedia-Definition der kontextsensitiven Sprache durchgearbeitet und Folgendes gefunden: Jede Kategorie von Sprachen ist eine richtige Untermenge der Kategorie direkt darüber. Jeder Automat und jede Grammatik in jeder Kategorie hat einen entsprechenden Automaten oder eine...
Hier ist das Problem: Beweisen Sie, dass Single-Tape-Turing-Maschinen, die nicht auf den Teil des Bands schreiben können, der die Eingabezeichenfolge enthält, nur reguläre Sprachen erkennen. Meine Idee ist es zu beweisen, dass dieses spezielle TM einem DFA entspricht. Die Verwendung dieses TM zur...
Definitionen von Turingmaschinen beziehen sich immer explizit darauf, dass das leere Symbol nicht Teil des eingegebenen Alphabets ist. Ich frage mich , was schief geht , wenn Sie würde es ein Teil des Eingabealphabet machen, weil effektiv das leere Symbol bereits Teil des Eingangs zu sein scheint....
Ich habe gesehen, wie Turingmaschinen mit unendlichen Bändern in einer und in zwei Richtungen dargestellt wurden. Gibt es einen Unterschied in der Leistung solcher Turingmaschinen oder sind sie grundsätzlich gleichwertig? In meinem Kopf denke ich, dass sie gleichwertig sind, da ich denke, dass es...
Was sind Unterschiede zwischen deterministischen und nichtdeterministischen Turingmaschinen? Verschiedene, aber gleichwertige Modelle von NDTM. Was ist dieser häufig verwendete Ausdruck "nicht deterministisch raten"? Wie man es richtig benutzt und Beispiele für falsche Verwendung. Mein Ziel ist es,...
Ich habe mehrmals gelesen, dass es nicht möglich ist, die Antwort eines NDTM effizient umzudrehen. Ich verstehe jedoch nicht warum. Bei einem NDTM , das in O ( n ) ausgeführt wird , heißt es in diesem Text (Abschnitt 3.3) beispielsweise, dass unklar ist, wie ein anderes NDTM T in Zeit bestimmen...
Ich lese Sipser und finde es schwierig zu verstehen, wie der Prozess abläuft. Wenn Sie mir k Turing-Maschinen mit k Bändern geben, kann ich eine äquivalente Turing-Maschine mit nur einem Band ausspucken. Ein Beispiel wäre schön. Eigentlich ein ausgearbeitetes Beispiel, das zeigt, wie man von TM...
Bedeutet das Vorhandensein unentscheidbarer Probleme sofort, dass physikalische Systeme nicht vorhersehbar sind? Betrachten wir das Halteproblem. Zuerst konstruieren wir eine physikalische UTM, beispielsweise unter Verwendung der üblichen schaltungsbasierten Konstruktion. Dann kann es keine...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich habe mich gefragt, warum das Band / die Bänder nicht Teil der formalen Definition einer Turingmaschine sind. Betrachten Sie zum Beispiel die formale Definition einer Turing-Maschine auf der Wikipedia-Seite . Die Definition nach Hopcroft und Ullman, beinhaltet: die endliche Menge von Zuständen ,...
Ich las eine Antwort auf eine kürzlich gestellte Frage und kam mir ein seltsamer, vergänglicher Gedanke in den Sinn. Meine Bitte könnte verraten, dass meine Theorie ernsthaft fehlt (meistens wahr) oder dass es für mich einfach zu früh ist, diese Seite zu lesen. Nun, mit dem Haftungsausschluss aus...
Mir wurde gesagt, dass Quantencomputer nicht rechnerisch leistungsfähiger sind als Turing-Maschinen. Könnte jemand freundlich helfen, einige Literaturhinweise zu geben, die diese Tatsache