Als «computability» getaggte Fragen

Fragen zur Berechenbarkeitstheorie, auch bekannt als Rekursionstheorie

1
Turing erkennbar => aufzählbar
Ich erhalte den Beweis, von einem Enumerator zu einer Turing-Maschine zu wechseln (führen Sie den Enumerator weiter aus und prüfen Sie, ob er mit der Eingabe übereinstimmt), aber ich sehe nicht, wie der andere Weg funktioniert. Gemäß meinen Notizen und dem Buch (Einführung in die Theorie der Berechnung - Sipser) …
4
Gibt es eine unentscheidbare endliche Sprache endlicher Wörter?
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 …
3
Konstruktive Version der Entscheidbarkeit?
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 …
2
Entscheidbarkeit der Überprüfung eines Antiderivativs?
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, …
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.