Nachdem ich eine verwandte Frage über nichtkonstruktive Existenzbeweise von Algorithmen gelesen hatte , fragte ich mich, ob es Methoden gibt, um die Existenz von "kleinen" (etwa zustandsbezogenen) Rechenmaschinen zu zeigen, ohne sie tatsächlich zu erstellen. Formal: Nehmen wir an, wir erhalten eine...
Ich suche eine kleine Sprache, die hilft, die Schüler davon zu überzeugen, dass Turingmaschinen ein ausreichend allgemeines Rechenmodell sind. Das heißt, eine Sprache, die den gewohnten Sprachen ähnelt, aber auch auf einer Turingmaschine leicht zu simulieren ist. Papadimitriou verwendet...
Antwort: nicht bekannt Vielen Dank an alle, die dazu beigetragen haben, diese Frage und die damit verbundenen Definitionen zu verfeinern. Die Definitionen dieses Wikis bildeten den Ausgangspunkt für das neuere TCS-Wiki " Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist?...
Robin Gandy war ein Schüler von Alan Turing . Gandy führte eine Analyse von Babbages Analytical Engine durch (siehe 'Gandy - Der Zusammenfluss von Ideen im Jahr 1936', zitiert in 'Herken, Rolf - Die universelle Turingmaschine - Eine Umfrage des halben Jahrhunderts . Springer Verlag') - und sagte,...
Zur Feier des Geburtstages von Alan Turing veröffentlichte Google ein Doodle mit einer Maschine. Was für eine Maschine ist das Gekritzel? Kann es eine Turing Complete-Sprache ausdrücken? Es gibt offensichtliche Unterschiede zur klassischen Turingmaschine: ein endliches Band, Einschränkungen, wie...
Ich bin ein Masterstudent, der sich auf verteilte Systeme konzentriert, sich aber auch für theoretische Informatik interessiert. Ich habe mich gefragt, ob es eine formale Darstellung eines verteilten Systems auf einer Turingmaschine gibt. Ist es also möglich, das Konzept einer Turingmaschine zu...
Ich habe mit der sehr interessanten und noch offenen Frage " Alphabet der Single-Tape-Turing-Maschine " (von Emanuele Viola) gespielt und mir folgende Sprache ausgedacht: L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...
Der größte Teil der Literatur scheint sich mit Maschinen mit einzelnen Orakeln für bestimmte Probleme zu befassen, es scheint jedoch einige Veröffentlichungen zu geben, die Maschinen mit mehreren Orakeln betrachten. Gibt es eine gute Arbeit oder These, die einen Überblick darüber gibt, was über...
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen? Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden...
Lassen Sie uns eine Codierung von Turing-Maschinen und einer universellen Turing-Maschine U festlegen, die bei Eingabe (T, x) alle T-Ausgaben bei Eingabe x ausgibt (möglicherweise laufen beide für immer). Definieren Sie die Kolmogorov-Komplexität von x, K (x) als die Länge des kürzesten Programms...
Ich habe eine naive Frage: Gibt es eine Turing-Maschine, deren Beendigung wahr ist, aber durch keine natürliche, konsistente und endlich axiomatisierbare Theorie bewiesen werden kann? Ich bitte eher um einen bloßen Existenznachweis als um ein konkretes Beispiel. Dies könnte einen Zusammenhang mit...
Ich war eine Weile neugierig auf Turingmaschinen mit genau einem Band und genau 3 Zuständen (nämlich dem Startzustand , dem Annahmezustand q a c c e p t und dem Ablehnungszustand q r e j e c t ). Beachten Sie, dass ich beliebige (endliche) Bandalphabete zulasse (dh das Bandalphabet ist nicht auf...
Ich möchte eine Umfrage über die Methode zur Darstellung der Dynamik staatlicher Berechnungen im Rahmen von Kohlegebren schreiben. Bisher habe ich es geschafft, Artikel über Kohlegebra-Darstellungen von DFA, NFA, Mealy-Maschinen, Moore-Maschinen, kontextfreien Grammatiken und sogar einfachen...
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist? Wenn nein, haben Sie einige Vorschläge zu vernünftigen (Verallgemeinerungs-) Regeln, mit denen versucht werden kann, zu beweisen, dass Turing vollständig ist? Das Offensichtliche ist, dass das Spiel...