Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich...
Um zu beweisen, dass 3-Färbung entscheidbar ist, reicht es zu sagen: Jeder Knoten in der Grafik hat 3 mögliche Farben Daher können wir alle Möglichkeiten aufzählen und dann überprüfen, ob keine zwei Kanten Knoten mit derselben Farbe verbinden3n3n3^n Beweist das, dass 3-Färbung entscheidbar ist?...
In den 1950er Jahren wurde eine Reihe von Verfahren zur Schaltungsminimierung für Boolesche Funktionen erfunden. Gibt es eine Erweiterung dieser Methoden oder ähnliches zur Optimierung der zeitlichen oder räumlichen Komplexität von Algorithmen? Beispielsweise würde eine Implementierung der...
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,...
Es heißt: "Die Turing-Maschine ist nicht als praktische Computertechnologie gedacht, sondern als hypothetisches Gerät, das eine Computermaschine darstellt. Turing-Maschinen helfen Informatikern, die Grenzen der mechanischen Berechnung zu verstehen." [Wikipedia] Auf welchem Modell werden aktuelle...
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über...
Ich habe die folgende Aussage gesehen und verstehe die Gründe dafür nicht ganz: Wenn eine Turing-Maschine dieselbe Konfiguration zweimal wiederholt, muss sie sich in einer Endlosschleife befinden. Ich dachte, dass a T.M.TMTM kann in einem Zustand sein q1q1q_1, mit dem Band links 000 und rechts 111....
Ich habe ein kleines Problem damit, den Beweis des Zeithierarchiesatzes (Hennie und Stearns, 1966) zu verstehen, der die Existenz einer Sprache sicherstellt, die in akzeptabel ist, in T ( n ) jedoch für keine Funktionen T ( n ) akzeptabel ist. U ( n ) , so dass U ( n ) zeitkonstruierbar ist undU.(...
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 hoffe, meine Frage macht Sinn: Ausgehend von der Annahme, dass der untypisierte Kalkül der Leistung einer Turing-Maschine entspricht, was entspricht in einer Turing-Maschine das Hinzufügen von Typen zum \ Lambda- Kalkül? Gibt es eine Art Automaten analog zur Eingabe, ob statisch oder...
Zunächst entschuldige ich mich, wenn dies gefragt wurde, aber ich habe wirklich nichts gefunden. Ich bin über diesen Artikel gestolpert . Es heißt, dass es ein Problem gibt, das nur Quantencomputer lösen können. Nach meinem Verständnis sollte dies intuitiv bedeuten, dass dieses Problem "effektiv...
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...
Ich versuche, kombinatorische Logikschaltungen (Computer, die nur auf logischen Gattern basieren) mit allem zu verknüpfen, was ich kürzlich in Theory of Computation gelernt habe. Ich habe mich gefragt, ob kombinatorische Logikschaltungen Berechnungen auf die gleiche Weise wie Finite-State-Maschinen...
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...
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
Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob...
In Computational Complexity: Modern Approach von Arora und Barak wird dies erwähnt Wir benötigen jedoch da das Arbeitsband die Länge , und wir möchten, dass sich die Maschine zumindest den Index der Zelle des aktuell gelesenen Eingabebandes merken kann.S.( n ) > lognS(n)>lognS(n)> \log nnnn...
Die Frage ist, ob die folgende Aussage richtig oder falsch ist: EIN≤T.B.⟹EIN≤mB.EIN≤T.B.⟹EIN≤mB.A \leq_T B \implies A \leq_m B Ich weiß, dass es bei ein Orakel gibt, das A relativ zu B entscheiden kann. Ich weiß, dass dies nicht ausreicht, um zu sagen, dass es eine berechenbare Funktion von A nach...
Die Komplexitätsklasse ist definiert als# P.#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) =...
Wenn wir eine Turingmaschine so einschränken, dass sie das gelesene Symbol nicht schreiben darf, würde dies ihre Leistung verringern? Zum Beispiel: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA kann nicht dasselbe Symbol sein wie ZZZ....