Ich frage mich, ob die massiv parallelen Recheneinheiten, die heutzutage in Grafikkarten zur Verfügung stehen (eine , die zum Beispiel in OpenCL programmierbar ist ), gut genug sind, um 1D-Zellularautomaten (oder vielleicht 2D-Zellularautomaten?) Effizient zu simulieren. Wenn wir ein endliches...
In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es...
Diese Frage wurde von Computational Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich habe die Wikipedia-Seite für Regel 110 in Zellularautomaten gelesen und weiß mehr oder weniger, wie sie funktionieren (eine Reihe...
Ich stecke in der folgenden Frage fest: "Reguläre Sprachen sind genau diejenigen, die von endlichen Automaten akzeptiert werden. Zeigen Sie, dass, wenn die Sprache von einem endlichen Automaten akzeptiert wird, auch von einem endlichen akzeptiert wird; besteht aus allen Wörtern von umgekehrt. "LLL...
Lassen L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Ist regelmäßig?LLL Diese Frage sah auf den ersten Blick verdächtig aus und ich habe festgestellt, dass sie mit der Twin-Prime-Vermutung zusammenhängt . Mein...
Kann eine kontextfreie Grammatik "tote Zustände" von einem Automaten enthalten, wie z G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({ein,b,c},{EIN,B,C},{EIN→einB,B→b,B→C,C→cC},EIN)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,?...
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...
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...
Wenn zum Beispiel betrachten wir einen DFA , die die Saiten haben weder Sub - Strings erlaubt 00oder 11ich kann die folgenden zwei DFAs produzieren:
Das Problem, ob zwei Pushdown-Automaten dieselbe Sprache erkennen, ist nicht zu entscheiden. Das Problem, ob ein Pushdown-Automat die leere Sprache erkennt, ist entscheidbar, daher ist es auch entscheidbar, ob er eine bestimmte endliche Sprache erkennt. Es ist nicht zu entscheiden, ob die von einem...
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die...
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte...
Ich frage mich , ob dies überhaupt möglich ist, da . Daher könnte ein PDA, der ein Wort vom Rest von es genauso gut akzeptieren , was für mich widersprüchlich klingt.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}{ a ∗ b ∗ c ∗...
Ich habe FSM in Digital Sequential Circuit-Designs verwendet. Endliche Automaten kenne ich aber nicht. Kann mir jemand helfen, den grundlegenden Unterschied zwischen beiden zu verstehen?
Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen...
Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen...
Gibt es unentscheidbare Eigenschaften von Automaten mit linearer Begrenzung (um den Trick mit der leeren eingestellten Sprache zu vermeiden)? Was ist mit einem deterministischen endlichen Automaten? (Unlösbares beiseite legen). Ich möchte (wenn möglich) ein Beispiel für ein unentscheidbares Problem...
Kürzlich wurde eine interessante Frage gestellt und anschließend gelöscht. Für eine reguläre Sprache ist ihre DFA-Komplexität die Größe des minimalen DFA, der sie akzeptiert, und ihre NFA-Komplexität ist die Größe des minimalen NFA, der sie akzeptiert. Es ist bekannt, dass es eine exponentielle...
Der DFA-Minimierungsalgorithmus von Brzozowski erstellt einen minimalen DFA für DFA GGG durch: Umkehren aller Kanten in GGG , wobei der Anfangszustand ein Akzeptanzzustand und der Akzeptanzzustand ein Initialzustand wird, um ein NFA N′N′N' für die Umkehrsprache zu erhalten, Verwenden der...
In rechentheoretischen Kursen wird gezeigt, dass Zählmaschinen mit zwei oder mehr Zählern Turingmaschinen entsprechen. Ich habe jedoch keine formale Analyse gesehen, welche Sprachen von einem Ein-Zähler-Automaten erkannt werden können. Entsprechen diese Sprachen den kontextfreien Sprachen...