Als «computability» getaggte Fragen

Fragen zur Berechenbarkeitstheorie, auch bekannt als Rekursionstheorie

3
Problem stoppen - ein Problem, das mich stört
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 Problem lautet "Nein". Mit anderen Worten, es …
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?
2
Wie kann ein zyklisches Tag-System mit einer Ausgabe anhalten?
Zum Beispiel können wir sagen, dass wir ein abstraktes Programm haben, das bei einer endlichen binären Zeichenfolge als Eingabe alle Nullen entfernt (dh 0010001101011 ergibt 111111), was definitiv eine Turing-berechenbare Funktion ist. Wie kann ein zyklisches Tag-System dies berechnen (was es per Definition als Turing-vollständig definieren kann), wenn es nur …
1
Gilt die Church-Turing-These auch für künstliche Intelligenz?
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 Nachrichtensystem zu entwerfen, um dieses Problem zu entscheiden, oder wird nach …
2
Bitte erläutern Sie "Entscheidbarkeit" und "Überprüfbarkeit".
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 den vielen gefundenen Definitionen hat mir die folgende auf dieser …
4
Funktioniert unser PC als Turingmaschine?
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 wir eine Art Programm schreiben können, das, wenn …
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 …
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 , …
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 …
1
Turing maschinenähnlicher Formalismus für das Schauspielermodell
Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen Aspekten). Ist das Actor Model eine vollwertige Drehmaschinenalternative als Rechenmodell? Verfügt das Akteurmodell auch über eine …
3
Kann die Codierungsmenge einer nicht trivialen Sprachklasse, die die leere Menge enthält, rekursiv aufzählbar sein?
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, ⟨Mloopy⟩∈L⟨Mloopy⟩∈L\langle M_{loopy}\rangle \in L , wobei MloopyMloopyM_{loopy} ein TM ist, …
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.