Als «turing-machines» getaggte Fragen

Ich bin ein CS-Student. Ich verstehe, wie Turing zu seiner abstrakten Maschine kam (die eine Person modelliert, die eine Berechnung durchführt), aber es scheint mir eine umständliche, unelegante Abstraktion zu sein. Warum betrachten wir ein "Band" und einen Maschinenkopf, die Symbole schreiben, den...

Wir wissen, dass das Stopp-Problem (bei Turing-Maschinen) für Turing-Maschinen nicht zu entscheiden ist. Gibt es Forschungen darüber, wie gut der menschliche Verstand mit diesem Problem umgehen kann, möglicherweise unterstützt durch Turing Machines oder Allzweckcomputer? Hinweis : Natürlich kann...

Gibt es eine Reihe von Programmiersprachenkonstrukten in einer Programmiersprache, damit diese als vollständig betrachtet werden können? Nach allem , was ich aus Wikipedia entnehmen kann , muss die Sprache die Rekursion unterstützen oder anscheinend in der Lage sein, ohne anzuhalten. Ist das alles...

Ich bin damit einverstanden, dass eine Turingmaschine "alle möglichen mathematischen Probleme" lösen kann. Das liegt aber daran, dass es sich nur um eine maschinelle Darstellung eines Algorithmus handelt: zuerst dies tun, dann das tun, schließlich das ausgeben. Ich meine, alles, was lösbar ist,...

Was ist bei der Quantenberechnung das äquivalente Modell einer Turing-Maschine? Mir ist ziemlich klar, wie Quantenschaltungen aus Quantentoren aufgebaut werden können, aber wie können wir eine Quantenturingmaschine (QTM) definieren, die tatsächlich von Quanteneffekten profitieren kann, nämlich auf...

In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige...

Gibt es theoretische Maschinen, die in einigen Bereichen die Leistungsfähigkeit von Turing-Maschinen

Ich sehe, dass die meisten Definitionen dessen, was es heißt, vollständig zu sein, bis zu einem gewissen Grad tautologisch sind. Zum Beispiel, wenn Sie Google "Was bedeutet es, Turing vollständig zu sein", erhalten Sie: Ein Computer ist vollständig, wenn er ein Problem lösen kann, das eine...

Alan Turing schlug ein Modell für eine Maschine vor (die Turing Machine, TM), die berechnet (Zahlen, Funktionen usw.) und den Haltesatz bewies . Ein TM ist ein abstraktes Konzept einer Maschine (oder eines Motors, wenn Sie möchten). Der Haltesatz ist ein Unmöglichkeitsergebnis. Eine Carnot-Engine...

Ich habe die Diskussion über die Frage, wie Quanten-Turing-Maschinen zu definieren sind , durchlaufen . und ich fühle, dass Quanten-TM und nicht- deterministisches TM ein und dasselbe sind. Die Antworten auf die andere Frage berühren das nicht. Sind diese beiden Modelle ein und dasselbe? Wenn nein...

Die Church-Turing-These besagt, dass alles, was physikalisch berechnet werden kann, auf einer Turing-Maschine berechnet werden kann. Die Arbeit "Analoge Berechnung über neuronale Netze" (Siegelmannn und Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) behauptet, dass ein neuronales...

Ich lese gerade ein Buch über Algorithmen und Komplexität. Im Moment lese ich über berechenbare und nicht berechenbare Funktionen und mein Buch besagt, dass es viel mehr Funktionen gibt, die nicht berechenbar sind als berechenbar. Tatsächlich heißt es, dass die Mehrheit nicht berechenbar ist. In...

Ich traf unter Aussage von Alan M. Turing hier : "Die Ansicht, dass Maschinen keine Überraschungen hervorrufen können, ist meines Erachtens auf einen Irrtum zurückzuführen, dem Philosophen und Mathematiker besonders ausgesetzt sind. Dies ist die Annahme, dass alle Konsequenzen dieser Tatsache...

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

Das Problem des Anhaltens besagt, dass es keinen Algorithmus gibt, der feststellt, ob ein bestimmtes Programm anhält. Infolgedessen sollte es Programme geben, über die wir nicht sagen können, ob sie enden oder nicht. Was sind die einfachsten (kleinsten) bekannten Beispiele für solche...

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...

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...

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...

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...

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...