Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug!...
In dem Halteproblem sind wir interessiert, ob es eine Turingmaschine , die erkennen kann, ob eine gegebene Turingmaschine M an einem gegebenen Eingang i anhält oder nicht . Normalerweise beginnt der Beweis mit der Annahme, dass ein solches T existiert. Dann betrachten wir einen Fall, in dem wir i...
Ich versuche, die Antworten auf zwei Fragen zur Universal Turing-Maschine zu finden. Wie kann die Universal Turing-Maschine eine Turing-Maschine simulieren, wenn die simulierte Maschine eine größere Anzahl von Zuständen aufweist? Wie kann die Universal Turing-Maschine eine Turing-Maschine...
Dies ist wahrscheinlich ein dummer Gedanke, aber nehmen wir an einen Computer, der eine unendliche Folge von Berechnungen und nehme an, die so programmiert ist Berechnung dauert 1 / 2 i Sekunden. Dann kann dieser Computer unendlich viele Berechnungen in endlicher Zeit
Mittelfristig gab es eine Variante der folgenden Frage: Für ein entscheidbares definieren Sie Zeigen Sie, dass nicht unbedingt entscheidbar ist.LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\}Pref(L)Pref(L)\text{Pref}(L) Aber wenn ich...
Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich...
Eine Aussage zum Satz von Rice finden Sie auf Seite 35 von "Computational Complexity: a Modern Approach" (Arora-Barak): Eine Teilfunktion von { 0 , 1 }∗{0,1}∗\{0,1\}^* bis { 0 , 1 }∗{0,1}∗\{0,1\}^* ist eine Funktion, die nicht unbedingt für alle ihre Eingaben definiert ist. Wir sagen, dass ein TM...
Ist eine Turing-Maschine, die Symbole aus einem unendlichen Alphabet lesen und schreiben darf, leistungsfähiger als ein normales TM (das ist der einzige Unterschied, die Maschine hat immer noch eine endliche Anzahl von Zuständen)? Die Intuition sagt es mir nicht, da Sie eine unendliche Anzahl von...
Um zu beweisen, dass 3-Färbung entscheidbar ist, reicht es zu sagen: Jeder Knoten in der Grafik hat 3 mögliche Farben Daher können wir alle Möglichkeiten aufzählen und dann überprüfen, ob keine zwei Kanten Knoten mit derselben Farbe verbinden3n3n3^n Beweist das, dass 3-Färbung entscheidbar ist?...
Ich versuche, einen Beweis für Folgendes zu finden: Für jede Sprache gibt es eine Sprache B, so dass A ≤ T B, aber B ≰ T A ist .EINAAB.BBA ≤T.B.A≤TBA \le_{\mathrm{T}} B≰T.EIN≰TA\nleq_{\mathrm{T}} A Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen sind Turing -...
Warum sind berechenbare Zahlen (im Sinne von Turing) aufzählbar? Es muss sehr offensichtlich sein, aber ich sehe es momentan einfach
Wir wollen Quadrat mit zwei Arten von Kacheln kacheln: Quadrat-Kachel und Quadrat-Kachel, so dass jedes darunter liegende Quadrat ohne Überlappung bedeckt wird. Definieren wir eine Funktion , die die Größe des größten eindeutig bearbeitbaren Quadrats unter Verwendung von Quadraten und einer...
Als ich diese Frage " Natürliche RE unentscheidbare Probleme, aber nicht Turing-vollständig " las, kam mir folgende Sprache in den Sinn: Wenn die beschäftigte Biberfunktion ist (maximal erreichbare Punktzahl unter allen anhaltenden Turing-Maschinen mit 2 Symbolen und n-Zustand des oben...
Ich habe einige formale sprachtheoretische Artikel gelesen und bin auf einen Begriff gestoßen, den ich nicht verstehe. Das Papier bezieht sich häufig auf eine Menge, die "unter Kreuzung effektiv geschlossen" wird, oder auf andere Operationen. Was bedeutet hier "effektiv"? Wie unterscheidet sich...
Diese Frage kam mir über das Problem des Anhaltens und ich konnte online keine gute Antwort finden und fragte mich, ob jemand helfen kann. Ist es möglich, dass das Stoppproblem für jedes TM an einem Eingang entscheidbar ist, solange der Eingang nicht das TM selbst ist? Grundsätzlich: Halts(TM, I)...
Heute beim Mittagessen habe ich dieses Problem mit meinen Kollegen angesprochen , und zu meiner Überraschung hat Jeff E's Argument, dass das Problem entscheidbar ist, sie nicht überzeugt ( hier ist ein eng verwandter Beitrag zu mathoverflow). Eine Problemerklärung, die einfacher zu erklären ist...
Ich bin ein Student, der gerade anfängt, über reversibles Rechnen zu lesen. Ich weiß, dass irreversible Berechnungen aufgrund des Landauer-Prinzips Wärme abführen (und reversible nicht). Ich sprach es mit meinem Professor an, der noch nie von Reversible Computing gehört hatte, und er hatte...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Dies ist ein Follow-up von einer anderen Frage hier , und ich hoffe , dass es nicht zu philosophisch ist. Wie Raphael in einem Kommentar zu meiner vorherigen Frage betonte, verstehe ich die Definition von "berechenbar" nicht wirklich, aber nach einigen von mir gelesenen Artikeln ist die Definition...
Nehmen wir an, ich habe zwei Funktionen FFF und GGG und bin daran interessiert festzustellen, ob F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Nehmen wir an, meine Funktionen bestehen aus Elementarfunktionen (Polynome, Exponentiale, Protokolle und trigonometrische Funktionen), aber nicht...