Als «turing-machines» getaggte Fragen

Fragen zu Turing-Maschinen, einem theoretischen Modell der mechanischen Berechnung, mit dem jedes Computerprogramm simuliert werden kann.

1
Kombinierte Logikschaltungen und Berechnungstheorie
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 implementieren können. Sie scheinen radikal anders zu sein: Finite-State-Maschinen haben jedoch einen …
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 …
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, …
1
Warum lehnen wir Turingmaschinen ab, die weniger Platz als das Protokoll der Länge der Eingabe benötigen?
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)>log⁡nS(n)> \log nnnn Was bedeutet das genau ? …
2
Festlegen des Satzes aller Turing-Maschinen, die höchstens anhalten
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 unwahrscheinlich LLLKönnte beides sein. Ich habe gezeigt, dass Co-LLL …
6
Die erste Turingmaschine
Weiß jemand, wie effizient die erste Turing-Maschine war, die Alan Turing hergestellt hat? Ich meine, wie viele Züge hat es pro Sekunde oder so gemacht ... Ich bin nur neugierig. Ich konnte auch keine Informationen darüber im Web finden.
1
gegen
Es gibt eine äquivalente Definition für die Klasse NLNL\mathsf{NL}mit Verifizierer. Diese Prüfer sind deterministische Turing-Maschinen, die das Zeugenband nur einmal auf eine Weise von links nach rechts lesen können. Eine Funktion gegeben f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} das sagen wir NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] ist die Klasse, die durch die obige Definition erhalten wurde, aber der Prüfer …
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.