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 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...
Ich frage mich, ob es ein entscheidbares Problem ist, über die Entscheidbarkeit eines Problems zu entscheiden. Ich vermute nicht, aber nach ersten Recherchen kann ich keine Literatur zu diesem Problem
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...
Gibt es unentscheidbare Sprachen, deren Vereinigung / Schnittmenge / verkettete Sprache entscheidbar ist? Was ist die physikalische Interpretation eines solchen Beispiels, da im Allgemeinen nicht entscheidbare Sprachen unter diesen Operationen nicht geschlossen werden? Was können wir über die...
Ich bin auf folgendes interessantes Problem gestoßen: Sei Polynome über dem Feld der reellen Zahlen, und nehmen wir an, dass ihre Koeffizienten alle ganzzahlig sind (dh es gibt eine endliche exakte Darstellung dieser Polynome). Bei Bedarf können wir annehmen, dass der Grad beider Polynome gleich...
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...
Gibt es einen Algorithmus für das folgende Problem: Bei einer Turing - Maschine , die eine Sprache entscheidet , Gibt es eine Turing - Maschine entscheiden , so dass ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Die Funktionen und sind die Worst-Case-Laufzeiten der...
Lassen Gibt es eine Turingmaschine R, die die Sprache L ∅ entscheidet (ich meine nicht erkennt) ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Es scheint,...
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...
Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel...
Eine der Definitionen einer rechnerisch aufzählbaren Menge (ce, äquivalent zu rekursiv aufzählbar, äquivalent zu semidecidable) ist die folgende: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ist ce, wenn es eine entscheidbare Sprache (genannt Verifizierer) st für alle ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in...
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 =>...
Es tut mir leid, wenn diese Frage eine triviale Antwort hat, die mir fehlt. Immer wenn ich ein Problem untersuche, das sich als unentscheidbar erwiesen hat, stelle ich fest, dass der Beweis auf einer Reduktion auf ein anderes Problem beruht, das sich als unentscheidbar erwiesen hat. Ich verstehe,...
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...
Bedeutet Akzeptieren, dass das TM ein Zeichen aus der Zelle liest und erkennt, aus der es gerade liest? Und ist es der Fall, dass ein TM anhält, wenn die Eingabe entscheidbar
Gibt es einen Bedarf für L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* sein unendlich unentscheidbar zu sein? Ich meine , was ist, wenn wir eine Sprache wählen L′L′L' sein eine begrenzte endliche Version von L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* , das heißt |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ) mit L′⊂LL′⊂LL'...
OK, hier ist eine Frage aus einem früheren Test in meiner Klasse "Theorie der Berechnung": Ein nutzloser Zustand in einem TM ist ein Zustand, der niemals in eine Eingabezeichenfolge eingegeben wird. Es sei Beweisen Sie, dass unentscheidbar ist.U S E L E S S T M.U S E L E S S.T M.= { ⟨ M, q⟩ ∣ q ist...
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...