Als «turing-machines» getaggte Fragen

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

2
Wie berechnen nichtdeterministische Turingmaschinen allgemeine Funktionsprobleme?
(Ich hoffe, das wurde vorher nicht gefragt, aber ich habe nichts gefunden.) Nach meinem Verständnis gilt der Nichtdeterminismus nur für Entscheidungsprobleme, da die Existenz eines akzeptierenden Pfades erforderlich ist . In Wikipedia wird die Klasse -easy als in deterministischer Poltime lösbar definiert, mit Zugriff auf ein Orakel für ein Entscheidungsproblem …
1
Gibt es ein Beispiel für eine rekursive Sprache, die nicht kontextsensitiv ist?
Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von einer universellen Turing-Maschine (UTM) akzeptiert wird, als prototypisch oder rekursiv aufzählbar. …
3
Standarddefinition der Turingmaschine
Ich habe zwei berühmte Bücher über "Automaten und formale Sprachtheorie" verfolgt: Micheal Sipsers Buch Jeffrey Ullman und John Hopcrofts Buch In beiden Büchern unterscheidet sich die Tupel-Level-Definition der Turing-Maschine voneinander. Obwohl die Arbeit auf abstrakter Ebene gleich ist, unterscheiden sich die Details. Warum gibt es keine Standarddefinition? Sogar einige andere …
3
Konstruktiver Beweis der Entscheidbarkeit einer endlichen Menge im Halting-Problem-Stil, die keine Tabellensuche verwendet
Ich versuchte , zu beweisen , dass die folgende rekursive Sprache ist: für , eine positive ganze Zahl: , woΣ={0,1}Σ={0,1}\Sigma=\{0,1\}kkkLk=HTM,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HTM,ε={⟨M⟩∣M is a TM that halts on an empty input}HTM,ε={⟨M⟩∣M is a TM that halts on an empty input}H_{\mathrm{TM},\varepsilon}=\{\langle M\rangle\mid M \text{ is a TM that halts …
2
Berechenbarkeit der Gleichheit auf Null für eine einfache Sprache
Angenommen, wir haben einen Baum, in dem Blätter mit einer Reihe von Zahlen und interne Knoten mit einer Reihe von Operationen .L.LLÖOO Insbesondere kann oder und optional und / oder . kann eine beliebige Teilmenge von .L.LLN , Z.N,Z\mathbb{N}, \mathbb{Z}Q.Q\mathbb{Q}ππ\pieeeOOO{+,−,⋅,/, ^}{+,−,⋅,/, ^}\{+,-,\cdot,/,\hat\ \} Ist Gleichheit mit Null entscheidbar? Sind Vorzeichenvergleiche …
2
Können wir alle Computerprogramme als Grafiken darstellen?
Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen. Mir ist aufgefallen, dass vielleicht jedes Computerprogramm als eines dieser Diagramme + Bewertungssemantik dargestellt werden kann. Ich bin neugierig, …
2
Verwenden reale Computer den Turing Machine-Mechanismus?
Ich bin ein Schüler in der zwölften Klasse. Ich studiere High-Level-Programmierung und ein bisschen grundlegende Informatik. Ich habe vor kurzem angefangen zu verstehen, was eine Turingmaschine ist. Ich wollte fragen: Ich verstehe , dass eine Turing - Maschine ein hypothetisches Gerät verwendet , um zu erklären , die Mechanismen der …
2
Können Sie eine Schnur auf einer Vanille-Turing-Maschine rechtzeitig umkehren?
Mit einer Vanille-Turing-Maschine meine ich eine Turing-Maschine mit einem Band (keine speziellen Eingabe- oder Ausgabebänder). Das Problem ist wie folgt: Das Band ist anfangs leer, abgesehen von einer Zeichenfolge von nnn 111s und 000s wird durch ein Zeichen am Ende der Zeichenfolge abgeschlossen. Der Bandkopf beginnt am Anfang der Zeichenfolge. …
2
Maschinen in P unentscheidbar?
Bei einer Turing-Maschine sagen wir, dass wenn die von der Maschine festgelegte Sprache von einer Maschine in Polynomzeit bestimmt werden kann. Wir sagen, dass wenn die Maschine in Polynomzeit läuft. Beachten Sie, dass es Maschinen geben kann, die unnötig lange laufen, aber dennoch eine Sprache in . Nach dem Satz …
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.