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,...
Beim Lesen der Zeitung Eine Einführung in die Lambda-Rechnung stieß ich auf einen Absatz, den ich nicht wirklich verstand, auf Seite 34 (meine Kursivschrift): Innerhalb jedes der beiden Paradigmen gibt es mehrere Versionen des typisierten Lambda-Kalküls. In vielen wichtigen Systemen, insbesondere...
Sei CCC eine nicht triviale Menge rekursiv aufzählbarer Sprachen ( ∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE} ) und sei LLL die Menge der Codierungen von Turing-Maschinen, die eine Sprache in CCC : L={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C \} Angenommen,...
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...
Wenn sie unterschiedlich sind, was sind die typischen Probleme in jedem, die nicht in die andere Kategorie fallen? Oder schließen sich die gegenseitig aus oder erfasst das eine das andere
Die Domänentheorie liefert eine erstaunliche Theorie der Berechenbarkeit bei Vorhandensein einfacher Typen. Aber wenn parametrischer Polymorphismus hinzugefügt wird, scheint es keine schöne Theorie zu geben, die erklärt, was ganz so gut vor sich geht, wie die Domänentheorie die Berechnung über...
Ich habe mir diese Lesung des MIT über die Komplexität der Berechnungen angesehen und in Minute 15:00 beginnt Erik Demaine eine Demonstration, um zu zeigen, was im Titel dieser Frage steht. Ich kann seiner Argumentation jedoch nicht folgen. In der Praxis sagt er Folgendes: Wir können ein...
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...
Funktioniert unser PC als Turingmaschine? Das Modell einer Turingmaschine besteht aus einem unendlichen Speicherband, was unendliche Zustände bedeutet. Angenommen, unser PC verfügt über 128 MB Speicher und 30 GB Festplatte, hat 256 ^ 30128000000 Zustände und somit endliche Zustände. Ich weiß, dass...
Ich versuche (intuitiv) die beiden Begriffe "Entscheidbarkeit" und "Überprüfbarkeit" zu verstehen. Ich habe die verschiedenen Texte, die ich in die Hände bekommen kann, angemessen durchsucht und durchgesehen. Ihr intuitives Verständnis scheint mir jedoch zu entgehen, besonders für das zweite. Von...
Nach meinem Verständnis bedeutet Turing vollständig, dass das Programm oder die Maschine jede Berechnung ausführen kann, die eine Turing-Maschine ausführen kann, was für mich jede Berechnung bedeutet. Wie kann so etwas wie HTML oder PowerPoint vollständig
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...
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...
Ist es möglich, Pushdown-Automaten zu minimieren? Wenn nein, warum? Liegt es daran, dass die Äquivalenzklassen zur Minimierung einen endlichen Index haben müssen und wir dies für CFG nicht garantieren
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...
Nach Church-Turings These ist es unmöglich, einen Algorithmus zu entwerfen, um das Stoppproblem zu entscheiden. Umfasst der Wortalgorithmus in diesem Zusammenhang künstliche Intelligenz oder nicht, dh gilt die Church-Turing-These auch für künstliche Intelligenz? Ist es möglich, in Zukunft ein...
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
Meines Wissens fragt das Problem beim Anhalten, ob es ein Programm gibt, das entscheidet, ob ein getestetes Programm unter Berücksichtigung einiger Eingabedaten (unabhängig davon, um welches Programm es sich handelt oder welche Eingabedaten wir geben) beendet wird oder nicht. Die Antwort auf dieses...
Wenn berechenbar ist und eine Umkehrung hat, unter welchen Bedingungen ist auch berechenbar? Ich konnte das in einem Lehrbuch nicht finden, und beim Googeln werden einige vage Vorschläge zum Bijektiv gemacht, aber ich konnte keinen klar formulierten Satz zu diesem Zweck finden. Nebenbei scheint das...
Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das