Als «turing-machines» getaggte Fragen

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

5
Unterschied zwischen einer Turing-Maschine und einer Finite-State-Maschine?
Ich mache einen Vortrag über Turingmaschinen und wollte einige Hintergrundinformationen zu FSMs geben, bevor ich Turingmaschinen vorstelle. Das Problem ist, ich weiß wirklich nicht, was sich SEHR voneinander unterscheidet. Ich weiß, dass es anders ist: FSM hat sequentielle Zustände, abhängig von der entsprechenden Bedingung, die erfüllt ist, während Turing-Maschinen auf …
6
Gibt es eine physikalische Analogie zur Turingmaschine?
Kürzlich wurde ich in meiner CS-Klasse in die Turing-Maschine eingeführt. Nach dem Unterricht habe ich über 2 Stunden lang versucht, die Beziehung zwischen einem Band und einer Maschine herauszufinden. Ich war mir der Existenz von Computerbändern oder der Interaktion von Bändern und Maschinen bis heute überhaupt nicht bewusst. Ich kann …
5
Praktische Bedeutung von Turingmaschinen?
Ich bin Elektroingenieur und hatte vor 26 Jahren nur einen CS-Kurs am College. Ich bin jedoch auch ein begeisterter Mathematica-Benutzer. Ich habe das Gefühl, dass Turingmaschinen in der Informatik sehr wichtig sind. Ist die Bedeutung nur in der Theorie der Informatik? Wenn es praktische Auswirkungen / Anwendungen gibt, welche sind …
6
Kann die Eingabe in eine Turingmaschine unendlich lang sein?
Berücksichtigt man nur das Alphabet , stammen die Zeichenfolgen, die als Eingabe für die Turing-Maschinen verwendet werden können, aus der Menge . Aber macht es Sinn, dass die Eingabe eine unendliche Binärzeichenfolge ist? Wenn beispielsweise eine Turing-Maschine alle Zeichenfolgen akzeptiert, die mit einer 0 beginnen, gehört eine binäre Zeichenfolge mit …
4
Beweis der Unentscheidbarkeit des Halteproblems
Ich habe Probleme, den Beweis für die Unentscheidbarkeit des Halteproblems zu verstehen. Wenn zurückgibt, ob das Programm a bei Eingabe b anhältoder nicht, warum müssen wir den Code von P sowohl für a als auch für b übergeben ?H( a , b )H(a,b)H(a,b)einaabbbPPPeinaabbb Warum können wir mit P und einer …
4
Gibt es in der konstruktivistischen Logik unentscheidbare Sprachen?
Konstruktivistische Logik ist ein System, das das Gesetz der ausgeschlossenen Mitte sowie die Doppelte Negation als Axiome entfernt. Es ist auf Wikipedia hier und hier beschrieben . Insbesondere erlaubt das System keinen Widerspruchsbeweis. Ich frage mich, ist jemand mit den Auswirkungen auf die Ergebnisse in Bezug auf Turingmaschinen und formale …
1
Quantencomputer und Turingmaschinen: Sind Turingmaschinen immer noch eine genaue Maßnahme?
In der Vorlesung letzte Woche sagte mein Professor, dass Turing-Maschinen als Standardmaßstab / -modell für das, was berechenbar ist, verwendet werden und eine hilfreiche Diskussionsgrundlage für dieses Thema darstellen. Sie sagte auch, dass sich alle Varianten von Turing-Maschinen als rechnerisch äquivalent erwiesen hätten - gelesen, genauso leistungsfähig - wie die …
5
Warum sind funktionale Sprachen vollständig?
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem Studenten der Kirche, erstellt wurde. Lambda-Kalkül ist so leistungsfähig und …
5
Könnte das Problem des Anhaltens „gelöst“ werden, indem zu einer Beschreibung der Berechnung auf höherer Ebene übergegangen wird?
Ich habe kürzlich eine interessante Analogie gehört, die besagt, dass Turings Beweis für die Unentscheidbarkeit des Stopp-Problems Russells Barbier-Paradoxon sehr ähnlich ist. Also wunderte ich mich: Mathematiker schafften es schließlich, die Mengenlehre konsistent zu machen, indem sie von Cantors naiver Feldformulierung zu einem komplexeren Axiomensystem übergingen (ZFC-Mengenlehre) und dabei wichtige …
1
Wie kann ich die Turing-Maschine der erkannten Sprache in eine uneingeschränkte Grammatik umwandeln ?
Laut diesem Wikipedia-Artikel entsprechen uneingeschränkte Grammatiken Turing-Maschinen. Der Artikel stellt fest, dass ich jede Turing-Maschine in eine uneingeschränkte Grammatik umwandeln kann, es wird jedoch nur gezeigt, wie man eine Grammatik in eine Turing-Maschine umwandelt. Wie mache ich das und wandle die Turingmaschine die erkannte Sprache in eine uneingeschränkte Grammatik um? …
2
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine?
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche Ideen?
4
Definieren des Halteproblems für nicht deterministische Automaten
Die primäre Definition von Turing machine (TM), zumindest in meinem eigenen Nachschlagewerk (Hopcroft + Ullman 1979), ist deterministisch. Daher ist mein eigenes Verständnis des Halteproblems in erster Linie für deterministisches TM, obwohl mir bewusst ist, dass es für andere Arten von Automaten in Betracht gezogen werden kann. Mir ist auch …
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.