Als «simulation» getaggte Fragen

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.

3
Wie kann man zeigen, dass zwei Rechenmodelle gleichwertig sind?
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 sind (die Automatenansicht: wenn sie dieselben Sprachen akzeptieren). Gibt es …
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
1 / r Anziehungskraft durch zellularen Automaten
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 , wobei1 / r1/.r1/r der Abstand ist, …
1
Verfeinerungsarten ableiten
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 …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
Wie kann eine universelle Turingmaschine „größere“ simulieren?
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 simulieren, wenn die simulierte Maschine eine größere Anzahl von Buchstaben enthält? Kann mir …
1
Beweisen Sie, dass eine in T (n) von einer RAM-Maschine berechenbare Boolesche Funktion in DTIME (T (n) ^ 2) ist.
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 wird. Es greift wie folgt auf dieses Array zu. Eines …
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 …
3
Warum
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 Angelegenheit näher erläutern? Gibt …
1
Church-Turing und physische PDEs
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 physikalischen Simulationen arbeitet, daher bin ich mir natürlich …
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.