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, dass dieselbe Technik, die verwendet wurde, um …
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 Turing-Maschinen bzw. .t1t1t_1t2t2t_2M1M1M_1M2M2M_2 Was ist mit der Komplexität des Raums?
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 ist. Wir bezeichnen mit x …
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 …
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 unmöglich ist, das Halteproblem für ein Turing-Orakel zu entscheiden. …
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 \Sigma^* x∈Ax∈Ax\in A Wenn es ein st .y∈Σ∗y∈Σ∗y\in\Sigma^*⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V Eine Möglichkeit …
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 auf …
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 ist?
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' \subset L . Kann L′L′L' eine …
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 …
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 glaube, die …
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 M.MM …
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) IF …
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 ("ist P = NP?"), Ist ebenfalls …
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 beispielsweise aus Taylorreihen. Ist dieses Problem entscheidbar? Wenn nicht, ist es halbentscheidbar? (Ich frage, …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.