Als «turing-machines» getaggte Fragen

Die Turingmaschine ist ein grundlegendes Rechenmodell, insbesondere in der theoretischen Arbeit.

2
(Wie) Können wir NP-Probleme in Abwesenheit des Turing-Berechnungsmodells entdecken / analysieren?
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es überhaupt möglich? Ich habe diese Frage nur von einem …
1
Eingabelänge auf einer Ein-Band-Turing-Maschine berechnen
Im Zusammenhang mit dieser Frage stellte sich mir die Frage : Wie viel Zeit benötigt eine Single-Tape-Single-Head-Turing-Maschine, um die Länge ihrer Eingabe zu berechnen? Angenommen, das Bandalphabet ist , die Eingabe ist eine Zeichenfolge in die von Leerzeichen umgeben ist. Die Maschine beginnt am linken Eingabesymbol und muss bei enden …
2
Oblivious Turing Machine Emulation Untergrenze
Gibt es einen Beweis dafür, dass die Emulation einer Turing-Maschine auf einer Turing-Maschine nicht in weniger als wobei die Anzahl der Schritte ist, die die Turing-Maschine verwendet ? Oder ist das nur eine Obergrenze?O ( m logm )Ö(mLog⁡m)\mathcal{O}\left(m\log m\right)mmm In der Arbeit von Paul Vitányi über relativierte vergessene Turingmaschinen behauptet …
1
Wie gut kann ein Stillstandsmelder sein?
Gibt es eine Turingmaschine, die entscheiden kann, ob fast alle anderen Turingmaschinen anhalten? Angenommen, wir haben eine Aufzählung von Turing-Maschinen und eine Vorstellung von der "Größe" einer Menge natürlicher Zahlenund wir definieren:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i …
1
Komprimieren von Informationen zum Problem des Anhaltens von Oracle Turing-Maschinen
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis die Antwort auf das Halteproblem für alle Turing-Maschinen zu berechnen , vorausgesetzt, …
1
Zeithierarchien in DSPACE (O (s (n)))
Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) zu DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) wenn fgfg\frac{f}{g} wächst schnell genug? Mich interessiert besonders der Fall, dass s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …
1
Ist
Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + …
3
Gibt es nicht konstruktive Existenznachweise für „kleine“ Turingmaschinen / NFAs?
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 Sprache und korrigieren ein Rechenmodell (NFAs / Turing …
6
Eine kleine C-ähnliche Sprache, die Turingmaschinen simulieren können
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 RAM-Maschinen für diesen Job, aber ich befürchte, dass es für viele …
1
Hat Alan Turings Schüler Robin Gandy behauptet, Charles Babbage habe keine Ahnung von einer universellen Rechenmaschine?
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, dass dies …
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.