Wenn berechenbar ist und eine Umkehrung hat, unter welchen Bedingungen ist auch berechenbar? Ich konnte das in einem Lehrbuch nicht finden, und beim Googeln werden einige vage Vorschläge zum Bijektiv gemacht, aber ich konnte keinen klar formulierten Satz zu diesem Zweck finden. Nebenbei scheint das...
Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das
Wenn ich über die Church-Turing-These lese, scheint es eine verbreitete Behauptung zu sein, dass "die physische Realität Turing-berechenbar ist". Was ist die Grundlage für diesen Anspruch? Gibt es theoretische Ergebnisse in dieser Richtung? Für den Kontext bin ich ein Forscher, der an...
Betrachten Sie Begriffe, die aus Elementen von und den Operationen und für jede natürliche Zahl . Gibt es angesichts des Versprechens, dass zwei Terme gut geformt sind - das heißt, es gibt keine Division durch Null und keine geraden Wurzeln negativer Zahlen - einen Algorithmus, der entscheidet,...
Die Domänentheorie liefert eine erstaunliche Theorie der Berechenbarkeit bei Vorhandensein einfacher Typen. Aber wenn parametrischer Polymorphismus hinzugefügt wird, scheint es keine schöne Theorie zu geben, die erklärt, was ganz so gut vor sich geht, wie die Domänentheorie die Berechnung über...
Nach meinem Verständnis bedeutet Turing vollständig, dass das Programm oder die Maschine jede Berechnung ausführen kann, die eine Turing-Maschine ausführen kann, was für mich jede Berechnung bedeutet. Wie kann so etwas wie HTML oder PowerPoint vollständig
Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von...
Die Frage ist, ob die folgende Aussage richtig oder falsch ist: EIN≤T.B.⟹EIN≤mB.EIN≤T.B.⟹EIN≤mB.A \leq_T B \implies A \leq_m B Ich weiß, dass es bei ein Orakel gibt, das A relativ zu B entscheiden kann. Ich weiß, dass dies nicht ausreicht, um zu sagen, dass es eine berechenbare Funktion von A nach...
Ich habe eine allgemeine Frage zu Mapping-Reduzierungen. Ich habe mehrere Beispiele für das Reduzieren von Funktionen auf gesehenATMATMA_{TM} wo ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle...
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
Wenn wir eine Turingmaschine so einschränken, dass sie das gelesene Symbol nicht schreiben darf, würde dies ihre Leistung verringern? Zum Beispiel: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA kann nicht dasselbe Symbol sein wie ZZZ....
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...
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...
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...
Wikipedia : Das strukturierte Programm [...] besagt, dass [...] jeder Algorithmus mit nur drei Kontrollstrukturen ausgedrückt werden kann. Sie sind Ausführen eines Unterprogramms und dann eines anderen Unterprogramms (Sequenz) Ausführen eines von zwei Unterprogrammen gemäß dem Wert eines booleschen...
Ich studierte den Beweis, dass die Ackermann-Funktion rekursiv, aber nicht primitiv rekursiv ist, und eine Frage traf mich: "Na und?". Warum spielt es eine Rolle? Welche Bedeutung haben primitive rekursive
Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern und...
Es fällt mir schwer, Turings Lösung für das Halteproblem als Logiker und nicht als Ingenieur zu sehen. Hier ist mein Verständnis des Halteproblems: Sei die Menge aller Turingmaschinen. MMM Lassen für alle die Turing - Maschinen in die Menge aller Eingänge sein . iiiMMM Sei jedes Element in ein...
Ich fand eine Aussage (ohne Erklärung), dass eine Sprache entscheidbar ist. Wie ist das möglich? Ich meine, wie würden wir eine Turing-Maschine bauen, die eine möglicherweise unendliche Folge von Nullen akzeptiert (oder ablehnt)? Ich dachte auch, dass wir vielleicht einen Enumerator erstellen...
Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei...