Ich bin neu in Automaten und habe erst gestern eine kurze Einführung in reguläre Ausdrücke erhalten. Ich habe die verschiedenen Regeln gelesen, um einen regulären Ausdruck zu definieren. Ich kann jedoch nicht zwischen regulären Ausdrücken und der Grammatik einer Sprache unterscheiden (mir wurde die...
Wenn nicht, dann , was bedeutet es , wenn aus irgendeinem Zustand und einige Symbole ein , δ ( q , a ) nicht existiert?qqqaeinaδ(q,a)δ(q,ein)\delta(q,
Ich weiß also, dass es entscheidend ist , zu testen, ob eine reguläre Sprache RRR eine Teilmenge der regulären Sprache SSS ist, da wir beide in DFAs konvertieren, berechnen R∩S¯R∩S¯R \cap \bar{S}und dann testen können, ob diese Sprache leer ist. Da dies jedoch eine Konvertierung in DFAs erfordert,...
Ich hatte den Eindruck, dass unsere Computer, da sie endlich sind, letztendlich nicht leistungsfähiger sind als (außerordentlich große) endliche Zustandsmaschinen. Linear gebundene Turing-Maschinen sind zwar auch endlich, aber es scheint, dass reguläre Sprachen streng genommen eine unangemessene...
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 ,...
Dies kann eine dumme Frage sein. Es scheint klar zu sein, dass eine FSA, da sie endlich ist, nur die Anzahl der Symbole in ihrer Eingabezeichenfolge bis zu einer durch die Anzahl ihrer Zustände begrenzten Anzahl zählen kann. Nehmen wir nun an, wir statten die FSA mit Ausgabefunktionen (z. B....
Ich habe mich gefragt, ob selbst eine sternfreie Sprache ist. Gibt es eine reguläre Sprache, die keine sternfreie Sprache ist? Könnten Sie ein Beispiel geben?a∗a∗a^* (aus Wikipdia ) Lawson definiert sternfreie Sprachen als: Eine reguläre Sprache gilt als sternfrei, wenn sie durch einen regulären...
Wenn ich das richtig verstehe, hat NFA die gleiche Ausdruckskraft wie reguläre Ausdrücke. Oft ist es einfach, äquivalente reguläre Ausdrücke aus NFA abzulesen: Sie übersetzen Zyklen in Sterne, Kreuzungen als Alternativen und so weiter. Aber was ist in diesem Fall zu tun: [ Quelle ] Die...
Ich habe ein einfaches Problem damit, einen DFA zu erstellen, der alle Eingaben akzeptiert, die mit Doppelbuchstaben (aa, bb) beginnen oder mit Doppelbuchstaben (aa, bb) enden, vorausgesetzt, Σ = { a , b }Σ={ein,b}}\Sigma =\{a, b\} ist die Alphabetmenge der angegebenen Sprache. Ich habe versucht,...
Ist das Problem, bei zwei DFAs herauszufinden, ob sie dieselbe Sprache erzeugen, ein entscheidbares Problem? Ich weiß bereits, dass die Gleichheit von zwei CFL nicht entscheidbar ist aber was ist mit der Gleichheit von zwei DFAs? Wenn man bedenkt, dass die meisten Probleme mit DFAs entscheidbar...
Das Minimieren deterministischer endlicher Automaten (DFAs) ist ein Problem, das in der Literatur gründlich untersucht wurde, und es wurden verschiedene Algorithmen vorgeschlagen, um das folgende Problem zu lösen: Berechnen Sie bei gegebenem DFA einen entsprechenden minimalen DFA, der dieselbe...
Können wir bei zwei Mengen von Strings über dem Alphabet Σ den kleinsten deterministischen Finite-State-Automaten (DFA) M so berechnen, dass A ⊆ L ( M ) und L ( M ) ⊆ Σ ∗ ∗ B ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Mit anderen Worten,...
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 =>...
Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug!...
Stellen Sie sich wie gewohnt eine endliche Zustandsmaschine vor, aber bei jedem Übergang kann auch ein ganzzahliger Zähler aktualisiert werden, indem eine Zahl addiert oder subtrahiert wird. Angenommen, eine Übergangsfunktion der Form bewegt sich in den neuen Zustand und addiert zum Zähler, wobei...
Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n
Ich lerne, wie man NFAs in DFAs konvertiert, und ich möchte sicherstellen, dass ich es richtig mache. Offensichtlich ist es keine Sache, in die andere Richtung zurückzukehren. Kennt jemand einen Algorithmus, um zu überprüfen, ob ein DFA einem NFA
Brzozowskis Algorithmus kann auf Moore-Automaten erweitert werden, aber seine zeitliche Komplexität ist im Allgemeinen exponentiell. Gibt es einen anderen Algorithmus zur Minimierung von Moore-Automaten? Was sind die Laufzeiten dieser Algorithmen, falls
Beschreiben Sie eine reguläre Sprache, die von keinem DFA mit nur drei Zuständen akzeptiert werden kann. Ich bin mir nicht sicher, wo ich damit anfangen soll und habe mich gefragt, ob mir jemand Tipps oder Ratschläge geben könnte. Ich verstehe, dass das Pump-Lemma verwendet werden kann, um zu...
Es gibt eine Möglichkeit, Fuzzy-Parsing durchzuführen (akzeptiert Zeichenfolgen auch bei Tippfehlern bis zu einer bestimmten Bearbeitungsentfernung), mit einem DFA und einer zur Laufzeit erstellten Levenshtein-Automaten des Eingabeworts. Kann etwas Ähnliches mit einem Earley-Parser gemacht werden?...