Als «computability» getaggte Fragen

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

Ich bin auf folgendes interessantes Problem gestoßen: Sei Polynome über dem Feld der reellen Zahlen, und nehmen wir an, dass ihre Koeffizienten alle ganzzahlig sind (dh es gibt eine endliche exakte Darstellung dieser Polynome). Bei Bedarf können wir annehmen, dass der Grad beider Polynome gleich...

Mir wurde gesagt, dass Quantencomputer nicht rechnerisch leistungsfähiger sind als Turing-Maschinen. Könnte jemand freundlich helfen, einige Literaturhinweise zu geben, die diese Tatsache

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...

Gibt es einen Algorithmus für das folgende Problem: Bei einer Turing - Maschine , die eine Sprache entscheidet , Gibt es eine Turing - Maschine entscheiden , so dass ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Die Funktionen und sind die Worst-Case-Laufzeiten der...

Lassen Gibt es eine Turingmaschine R, die die Sprache L ∅ entscheidet (ich meine nicht erkennt) ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Es scheint,...

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

Ist das Problem, bei zwei DFAs herauszufinden, ob sie dieselbe Sprache erzeugen, ein entscheidbares Problem? Ich weiß bereits, dass die Gleichheit von zwei CFL nicht entscheidbar ist aber was ist mit der Gleichheit von zwei DFAs? Wenn man bedenkt, dass die meisten Probleme mit DFAs entscheidbar...

Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel...

A und B seien Sprachen mit A ⊆ B, und B ist Turing-erkennbar. Kann A nicht Turing-erkennbar sein? Wenn ja, gibt es ein

Ich studiere für mein Finale in Theorie der Berechnung und ich kämpfe mit der richtigen Art zu antworten, ob diese Aussage wahr oder falsch ist. Durch die Definition von wir die folgende Aussage konstruieren:≤m≤m\leq_m w ∈ A.⟺f( w ) ∈ B → w ∉ A.⟺f( w ) ∉ B.w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in...

Ist "Rices Theorem für die berechenbaren Realitäten" - das heißt, keine nichttriviale Eigenschaft der Zahl, die durch einen bestimmten berechenbaren Realwert dargestellt wird, entscheidbar - wahr? Entspricht dies in direkter Weise der Verbundenheit der

Es ist erwiesen, dass neuronale Netze mit rationalen Gewichten die Rechenleistung der Universal Turing Machine besitzen Turing-Berechenbarkeit mit neuronalen Netzen besitzen . Nach allem, was ich bekomme, scheint die Verwendung von realwertigen Gewichten noch mehr Rechenleistung zu bringen, obwohl...

Es kann gezeigt werden, dass zwei Rechenmodelle vollständig sind, wenn jedes einen universellen Simulator für das andere codieren kann. Es kann gezeigt werden, dass zwei Logiken vollständig sind, wenn gezeigt wird, dass eine Codierung der Inferenzregeln (und möglicherweise Axiome, falls vorhanden)...

Turingmaschinen und uneingeschränkte Grammatiken sind zwei verschiedene Formalismen, die die RE-Sprachen definieren. Einige RE-Sprachen sind entscheidbar, aber nicht alle. Wir können die entscheidbaren Sprachen mit Turing-Maschinen definieren, indem wir sagen, dass eine Sprache entscheidbar ist,...

Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times...

Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug!...

Dies ist wahrscheinlich ein dummer Gedanke, aber nehmen wir an einen Computer, der eine unendliche Folge von Berechnungen und nehme an, die so programmiert ist Berechnung dauert 1 / 2 i Sekunden. Dann kann dieser Computer unendlich viele Berechnungen in endlicher Zeit

In dem Halteproblem sind wir interessiert, ob es eine Turingmaschine , die erkennen kann, ob eine gegebene Turingmaschine M an einem gegebenen Eingang i anhält oder nicht . Normalerweise beginnt der Beweis mit der Annahme, dass ein solches T existiert. Dann betrachten wir einen Fall, in dem wir i...

Ich habe heute gelernt, dass sich die Algorithmusanalyse basierend auf dem Rechenmodell unterscheidet. Daran habe ich noch nie gedacht oder gehört. Ein Beispiel, das mir von User @chi weiter veranschaulicht wurde, war: Betrachten Sie zB die Aufgabe: gegeben return . Im RAM kann dies in gelöst...