Computerwissenschaften undecidability

2

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 wähle, dann denke ich, dass auch , also entscheidbar. Auch ergibt …

9 computability undecidability

2

Für jede Sprache

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 …

9 computability reductions undecidability

2

Entscheidbarkeit der Gleichheit radikaler Ausdrücke

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, wann die beiden …

8 computability undecidability number-theory equality

1

Probleme, deren Entscheidbarkeitsstatus unbekannt ist, von denen jedoch bekannt ist, dass sie weniger schwierig sind als das Stoppproblem

Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das Stoppproblem.

8 computability reference-request undecidability

2

Bei einer TM -

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 helfen?

8 computability turing-machines undecidability

1

Warum ist die Entscheidung über die Regelmäßigkeit einer kontextfreien Sprache unentscheidbar?

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 Fehler?

8 formal-languages computability regular-languages undecidability

1

Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?

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 bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …

8 formal-languages reference-request automata undecidability decision-problem

5

Wie kann man feststellen, ob eine Sprache erkennbar, miterkennbar oder entscheidbar ist?

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 muss, um festzustellen, um welche …

8 computability undecidability intuition

1

Frage im Zusammenhang mit Hilberts 10. Problem

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 x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Ich möchte zeigen, dass es unendlich viele Tripel so dass weder noch ein Satz der formalen Arithmetik ist.(n,p,q)(n,p,q)(n,p,q)φ(n,p,q)φ(n,p,q)\varphi(n,p,q)¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) Um …

8 computability logic undecidability

1

Kann

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 , …

8 formal-languages computability undecidability

2

Wie zeige ich, ob ein PDA eine Zeichenfolge akzeptiert

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 Grammatiken dieselbe Sprache akzeptieren. Ich bin mir jedoch …

8 formal-languages automata context-free undecidability pushdown-automata

1

Wie kann gezeigt werden, dass die Gruppe von Maschinen, die Sprachen in akzeptieren , nur dann entscheidbar ist, wenn ?

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 Problem - aber das ist nicht das, was gefragt wird ist, so habe ich verwirrt.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Ich …

8 computability undecidability p-vs-np

4

Implikationen des Satzes von Rice

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 computable and total function}L={f:N→N|f is …

8 computability undecidability

2

Festlegen des Satzes aller Turing-Maschinen, die höchstens anhalten

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 unwahrscheinlich LLLKönnte beides sein. Ich habe gezeigt, dass Co-LLL …

8 computability turing-machines undecidability decision-problem

1

Gibt es Problemfälle, von denen wir wissen, dass sie unlösbar sind?

Wie es im Titel heißt: Gibt es Probleminstanzen , die wir kennen unlösbare sein? Oder äquivalent Gibt es irgendwelche Versprechungsprobleme mit einer endlichen Anzahl möglicher Eingaben, die nicht zu entscheiden sind? Bitte beachten Sie: Mir ist klar, dass viele Rechenprobleme bekanntermaßen unlösbar sind, aber nach meinem besten Wissen (möglicherweise begrenzt) …

7 undecidability

Als «undecidability» getaggte Fragen