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 der Zustand verbunden werden kann, ... Die Doodle ist sein noch …
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 erweitern (eine Variante zu erstellen), um die Vorteile …
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 \text{ s.t. } |x| = n = 2^m \text{ and } count1(x) …
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 solche Maschinen bekannt ist? Insbesondere interessiere …
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 …
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 "aufgefüllt" wird, die niemals überschrieben werden können und so dass sich der Kopf niemals aus …
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 der Ordnungsanalyse haben . In der Tat können …
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 Quantensystemen zu finden. Ich habe keine gute Quelle gefunden, um eine Turingmaschine als Kohlegebra …
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 auf einem unendlichen Brett (positiver Quadrant) gespielt werden …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.