Als «turing-machines» getaggte Fragen

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

1
Unterscheidet sich der Nichtdeterminismus in einer nicht deterministischen Turingmaschine von dem von endlichen Automaten und Push-Down-Automaten?
Es sei eine Eingabezeichenfolge als . Befindet sich eine NFA derzeit im Zustand (und hat die Eingabe bis zum Alphabet ), teilt sich die NFA vor dem Lesen des nächsten Eingabesymbols in zwei NFA auf, von denen sich eine im Zustand und die andere in , wenn ein Übergang von …
6
Nehmen Turingmaschinen irgendwann etwas Unendliches an?
In einer vorherigen Frage Was genau ist ein Algorithmus? Ich fragte, ob ein "Algorithmus", der den Wert einer Funktion basierend auf einem Array vorberechneter Werte zurückgibt, ein Algorithmus sei. Eine der Antworten, die meine Aufmerksamkeit auf sich zogen, war diese: Das faktorielle Beispiel befasst sich mit einem anderen Berechnungsmodell, das …
2
Zwei-Zustands-Turingmaschine für die Klammeranpassung
Im College haben wir etwas über die Theorie der Berechnung im Allgemeinen und Turing-Maschinen im Besonderen gelernt. Eines der großartigen theoretischen Ergebnisse ist, dass Sie auf Kosten eines potenziell großen Alphabets (Symbole) die Anzahl der Zustände auf nur 2 reduzieren können. Ich habe nach Beispielen für verschiedene Turingmaschinen gesucht und …
2
Eine Variante der Busy-Beaver-Funktion
Als ich diese Frage " Natürliche RE unentscheidbare Probleme, aber nicht Turing-vollständig " las, kam mir folgende Sprache in den Sinn: Wenn die beschäftigte Biberfunktion ist (maximal erreichbare Punktzahl unter allen anhaltenden Turing-Maschinen mit 2 Symbolen und n-Zustand des oben beschriebenen Typs, wenn sie auf einem leeren Band gestartet werden), …
2
Unendliches Alphabet Turing Machine
Ist eine Turing-Maschine, die Symbole aus einem unendlichen Alphabet lesen und schreiben darf, leistungsfähiger als ein normales TM (das ist der einzige Unterschied, die Maschine hat immer noch eine endliche Anzahl von Zuständen)? Die Intuition sagt es mir nicht, da Sie eine unendliche Anzahl von Zuständen benötigen, um jedes Symbol …
1
Gibt es einen Algorithmus zur Optimierung der Zeit- / Raumkomplexität von Algorithmen?
In den 1950er Jahren wurde eine Reihe von Verfahren zur Schaltungsminimierung für Boolesche Funktionen erfunden. Gibt es eine Erweiterung dieser Methoden oder ähnliches zur Optimierung der zeitlichen oder räumlichen Komplexität von Algorithmen? Beispielsweise würde eine Implementierung der Blasensortierung als Eingabe für einen solchen Algorithmus eine Implementierung eines Sortieralgorithmus mit einer …
2
Bedeutet dieser Artikel, dass Turing-Berechenbarkeit nicht dasselbe ist wie „effektiv berechenbar“?
Zunächst entschuldige ich mich, wenn dies gefragt wurde, aber ich habe wirklich nichts gefunden. Ich bin über diesen Artikel gestolpert . Es heißt, dass es ein Problem gibt, das nur Quantencomputer lösen können. Nach meinem Verständnis sollte dies intuitiv bedeuten, dass dieses Problem "effektiv berechenbar" ist, da wir eine effektive, …
1
Ich habe einen mechanischen Computer gebaut, der mit Murmeln betrieben wird. Was sind ihre theoretischen Grenzen?
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über Zahnräder miteinander verbinden. Wenn eines dieser …
1
Beweise n! ist voll zeitkonstruierbar
Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob wir jetzt beweisen könnten, dass n ! …
2
Bei einer TM -
Ich möchte feststellen, ob dieses Entscheidungsproblem entscheidbar ist. Ich habe versucht, Reduzierungen von Halt und "Akzeptiert leere Zeichenfolgen" zu ermitteln, habe jedoch noch keine Lösung gefunden. Kann mir jemand helfen?
2
Wie kann ein zyklisches Tag-System mit einer Ausgabe anhalten?
Zum Beispiel können wir sagen, dass wir ein abstraktes Programm haben, das bei einer endlichen binären Zeichenfolge als Eingabe alle Nullen entfernt (dh 0010001101011 ergibt 111111), was definitiv eine Turing-berechenbare Funktion ist. Wie kann ein zyklisches Tag-System dies berechnen (was es per Definition als Turing-vollständig definieren kann), wenn es nur …
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.