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...
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...
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...
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 -...
Ich versuche mir die Berechenbarkeitstheorie mit einem Lehrbuch beizubringen. Nach meinem Buch ist eine Funktion über einem Alphabet ist nur in der Sprache berechenbarA = { a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s , t , u , v , w , x , y , z
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie...
Ich möchte Ihre Hilfe beim Nachweis, dass die Sprache ist entscheidbar, wenn .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Wenn , ich, dass es die Sprache leerer Turing-Maschinen ist. So ist ein...
Mit und kann man die folgende Formel in der Sprache der formalen Arithmetik definierenn∈Nn∈Nn \in \mathbb{N}p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall...
Ich möchte feststellen, ob dieses Entscheidungsproblem entscheidbar ist. Ich habe versucht, Reduzierungen von Halt und "Akzeptiert leere Zeichenfolgen" zu ermitteln, habe jedoch noch keine Lösung gefunden. Kann mir jemand
Jedes Mal, wenn ich denke, ich verstehe, was der Satz von Rice bedeutet, finde ich ein Gegenbeispiel, um mich selbst zu verwirren. Vielleicht kann mir jemand sagen, wo ich falsch denke. Nehmen wir eine nicht triviale Eigenschaft der Menge berechenbarer Funktionen, zum BeispielL={f:N→N|f is a...
Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das
Lassen L={<M>|ML={<M>|ML = \{ | M hält bei jedem Eingang an xxx höchstens in 200∗|x|200∗|x|200 * |x| Schritte }}\}. Ist LLLentscheidbar? Erkennbar? Angesichts dieser Mitgliedschaft in LLL behauptet etwas über MMMDas Verhalten auf einer unendlichen Anzahl von Saiten scheint mir äußerst...
Während ich studiert habe, ist die Entscheidung über die Regelmäßigkeit kontextfreier Sprachen unentscheidbar. Wir können jedoch die Regelmäßigkeit mit dem Myhill-Nerode-Theorem testen, das eine notwendige und ausreichende Bedingung liefert. Das Problem sollte also entscheidbar sein. Wo ist mein...
Wenn Sie eine Sprache L haben, ohne Beweise zu machen, gibt es eine Möglichkeit zu erkennen, ob sie erkennbar oder miterkennbar oder entscheidbar ist? Grundsätzlich alle Hinweise oder Tricks, die verwendet werden können, um zu erzählen. Oder vielleicht die gängigen Muster, nach denen gesucht werden...
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,...
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine...
Ich studiere den Beweis des folgenden Satzes: Angesichts der Sprache R E G U L A R.T M.= { ⟨ M⟩ | M.REGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M ist eine Turingmaschine und ist regulärA c c e p t (M.)Accept(M)\mathit{Accept}(M)}}}\} R E G U L A R.T...
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...