Als «undecidability» getaggte Fragen

Fragen zu Problemen, die von keiner Turing-Maschine gelöst werden können.

4
Ist dieses Problem mit endlichen Graphen entscheidbar? Welche Faktoren machen ein Problem entscheidbar?
Ich möchte wissen, ob das folgende Problem entscheidbar ist und wie man es herausfindet. Jedes Problem, das ich sehe, kann ich mit "Ja" oder "Nein" beantworten. Sind die meisten Probleme und Algorithmen mit Ausnahme einiger weniger entscheidbar (was hier angegeben ist )? Eingabe: Ein gerichteter und endlicher Graph mit und …
1
Entspricht die Unlösbarkeit des N-Körper-Problems dem Halteproblem?
Es gibt keine allgemeine analytische Lösung für das n-Körper-Problem, die eine analytische Funktion erzeugen kann, mit der der Zustand eines n-Körpersystems zum beliebigen Zeitpunkt t mit exakter Genauigkeit angegeben werden kann. Es gibt jedoch einige Sonderfälle von n-Körpersystemen, für die eine analytische Funktion bekannt ist. Ebenso gibt es keinen allgemeinen …
1
Ist es entscheidend, ob ein Pushdown-Automat eine bestimmte reguläre Sprache erkennt?
Das Problem, ob zwei Pushdown-Automaten dieselbe Sprache erkennen, ist nicht zu entscheiden. Das Problem, ob ein Pushdown-Automat die leere Sprache erkennt, ist entscheidbar, daher ist es auch entscheidbar, ob er eine bestimmte endliche Sprache erkennt. Es ist nicht zu entscheiden, ob die von einem Pushdown-Automaten akzeptierte Sprache regulär ist. Aber …
5
Gibt es unbestreitbare Eigenschaften von nicht vollständig funktionierenden Automaten?
Gibt es unentscheidbare Eigenschaften von Automaten mit linearer Begrenzung (um den Trick mit der leeren eingestellten Sprache zu vermeiden)? Was ist mit einem deterministischen endlichen Automaten? (Unlösbares beiseite legen). Ich möchte (wenn möglich) ein Beispiel für ein unentscheidbares Problem erhalten, das definiert wird, ohne Turing-Maschinen explizit zu verwenden. Ist die …
1
Wie ist für eine Turing-Maschine der Satz von Maschinen die „kürzer“ als und die dieselbe Sprache akzeptieren, entscheidbar?
Ich frage mich, warum die folgende Sprache in .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Ich weiß, dass es …
3
Unentscheidbares Problem und seine Verneinung ist unentscheidbar
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 nicht halbentscheidbar sind? Ich habe über die Diagonalisierungssprache Ld …
2
Sind alle kontextsensitiven Sprachen entscheidbar?
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 entsprechende Grammatik in der Kategorie direkt darüber. Ich konnte sehen, dass der linear …
4
Operationen, bei denen die Klasse der unentscheidbaren Sprachen nicht geschlossen ist
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 Schließung von Kleene sagen? Haben wir auch Beispiele dafür? Dh kann der …
6
Unentscheidbare Probleme begrenzen physikalische Theorien
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 entscheidbare physikalische Theorie geben, die bei jeder Eingangseinstellung der Schaltungen bestimmen kann, ob die Schaltung anhält. Dies …
1
Reduzierungen bei unentscheidbaren Problemen
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, dass es …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.