Fragen zur Simulation eines Modells in einem anderen. Dies umfasst die Simulation der Realität in einem beliebigen Modell oder die Simulation eines Maschinenmodells mit Turing-Maschinen.
Ich suche nach Erklärungen, wie man beweisen kann, dass zwei Rechenmodelle gleichwertig sind. Ich habe Bücher zu diesem Thema gelesen, mit der Ausnahme, dass Äquivalenznachweise weggelassen werden. Ich habe eine grundlegende Vorstellung davon, was es bedeutet, wenn zwei Rechenmodelle gleichwertig...
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...
Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die...
Drüben bei dieser Frage um die Inversionszählung , ich fand ein Papier , das für alle (genau) eine untere Schranke für Speicherkomplexität beweist Streaming - Algorithmen . Ich habe behauptet, dass diese Schranke sich auf alle linearen Zeitalgorithmen erstreckt. Dies ist ein bisschen fett, da im...
Ziel ist es, DFA aus einem regulären Ausdruck zu erstellen, und die Verwendung von "Regular exp> NFA> DFA-Konvertierung" ist keine Option. Wie soll man das machen? Ich stellte diese Frage unserem Professor, aber er sagte mir, dass wir Intuition benutzen können und lehnte es freundlicherweise...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Gibt es einen zellularen Automaten (in 2D), der eine 1 / simuliert ? Kraft zwischen Partikeln?1 / r1/.r1/r Insbesondere möchte ich wissen, ob es mit streng lokalen Aktualisierungsregeln möglich ist, dass sich zwei Objekte (innerhalb des Modells definiert) mit einer Kraft gegenseitig anziehen ,...
Ich lese Sipser und finde es schwierig zu verstehen, wie der Prozess abläuft. Wenn Sie mir k Turing-Maschinen mit k Bändern geben, kann ich eine äquivalente Turing-Maschine mit nur einem Band ausspucken. Ein Beispiel wäre schön. Eigentlich ein ausgearbeitetes Beispiel, das zeigt, wie man von TM...
Ich versuche, die Antworten auf zwei Fragen zur Universal Turing-Maschine zu finden. Wie kann die Universal Turing-Maschine eine Turing-Maschine simulieren, wenn die simulierte Maschine eine größere Anzahl von Zuständen aufweist? Wie kann die Universal Turing-Maschine eine Turing-Maschine...
Die Frage ist Übung 1.9 aus Arora-Baraks Buch Computational Complexity - A Modern Approach : Definieren Sie eine RAM-Turing-Maschine als Turing-Maschine mit Direktzugriffsspeicher. Wir formalisieren dies wie folgt: Die Maschine hat ein unendliches Array A, das für alle Leerzeichen initialisiert...
Gibt es Regeln oder Methoden, um eine kontextfreie Grammatik in Push-Down-Automaten umzuwandeln? Ich habe bereits einige Folien online gefunden , konnte sie aber nicht verstehen. In Folie 10 spricht er über einige Regeln. Kann jemand das
Es ist bekannt, dass die zeitliche Logik LTL, CTL, CTL * in den Kalkül übersetzt / eingebettet werden kann. Mit anderen Worten, der (modale) Kalkül fasst diese Logik zusammen (dh er ist ausdrucksvoller).μμ\muμμ\mu Könnten Sie mir bitte erklären / auf Papiere / Bücher verweisen, die diese...
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...
Ich habe ein kleines Problem damit, den Beweis des Zeithierarchiesatzes (Hennie und Stearns, 1966) zu verstehen, der die Existenz einer Sprache sicherstellt, die in akzeptabel ist, in T ( n ) jedoch für keine Funktionen T ( n ) akzeptabel ist. U ( n ) , so dass U ( n ) zeitkonstruierbar ist undU.(...
Wenn ich über die Church-Turing-These lese, scheint es eine verbreitete Behauptung zu sein, dass "die physische Realität Turing-berechenbar ist". Was ist die Grundlage für diesen Anspruch? Gibt es theoretische Ergebnisse in dieser Richtung? Für den Kontext bin ich ein Forscher, der an...
Ich habe zwei log-Raumfahrtprogramme bekommt und .F.FFGGG Programm wird in das Array eingegebenF.FFA [ 1 .. n ]A[1..n]A[1..n] und erstellt das Ausgabearray B [ 1 .. n ]B[1..n]B[1..n]. Programm GGG wird als Eingabe erhalten B.BB wie erstellt von F.FF und erstellen Sie daraus das Ausgabearray C.[ 1...
Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung? Ich habe versucht, mich mit der obigen Aussage zu beschäftigen, aber kein Gegenbeispiel gefunden, obwohl ich glaube, dass die Aussage falsch ist. Was mich neugierig gemacht hat, ist, dass ich einige Theoreme gelesen habe, die...