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...
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 arbeite mit einem Pattern-Matching-Algorithmus, der einen azyklischen Finite-State-Automaten generiert, der eine bestimmte Textzeichenfolge und alle ihre Teilzeichenfolgen akzeptiert. Der FSA-Algorithmus wird auf einer symbolischen Darstellung eines Musikstroms (z. B. MIDI-Daten) ausgeführt....
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
Oder generieren Sie zumindest eine Reihe von Zeichenfolgen, die eine NFA akzeptiert, damit ich sie in die andere NFA einspeisen kann. Wenn ich jeden Pfad der NFA durchsuche, funktioniert das dann? Obwohl das lange dauern
Ich habe mit der Maze-Demo von Google Blocky herumgespielt und mich an die alte Regel erinnert: Wenn Sie ein Labyrinth lösen möchten, halten Sie einfach Ihre linke Hand an der Wand. Dies funktioniert für jedes einfach verbundene Labyrinth und kann von einem endlichen Wandler implementiert werden....
Wie kann ich ein Beispiel für einen DFA mit Zuständen erstellen , wobei der äquivalente NFA Zustände hatNatürlich sollte der Statussatz des EDA alle Teilmengen des Statussatzes des NFA enthalten, aber ich weiß nicht, wie ich anfangen soll. Irgendwelche Vorschläge, um mich auf den richtigen Weg zu...
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...
Ich arbeite mich durch das Sipser-Buch (2. Auflage) und bin auf dieses Beispiel gestoßen, das ich nicht verstehe. In dem Buch heißt es, dass diese NFA die leere Zeichenfolge ϵϵ\epsilon akzeptiert . Könnte mich jemand durchgehen lassen, warum dies der Fall ist? Mein Verständnis ist, dass ϵϵ\epsilon...
Ich habe begonnen, nicht deterministische Automaten mit dem Buch von Hopcroft und Ullman zu studieren . Ich stecke in einem Problem fest, das ich sehr interessant fand: Geben Sie einen nicht deterministischen endlichen Automaten an, der alle Zeichenfolgen akzeptiert, die denselben Wert haben, wenn...
Ich bin festgefahren, die nächste Übung zu lösen: Argumentieren Sie, dass, wenn kontextfrei und regulär ist, (dh der richtige Quotient ) ist kontextfrei.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Ich weiß, dass es einen PDA geben sollte,...
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 der Typ . Wenn es einen...
Ich erinnere mich an eine Grundschulklasse, dass es für eine Turing-Maschine mit einem endlichen Band immer entsprechende Automaten für den endlichen Zustand gibt, aber ich konnte dies nirgendwo im Internet bestätigen. Ist das tatsächlich der Fall oder erinnere ich mich
Wie kann ich bei einer unendlichen regulären Sprache LLL beweisen, dass LLL in zwei disjunkte unendliche reguläre Sprachen L1,L2L1,L2L_1, L_2 ? Das heißt: L1∪L2=LL1∪L2=LL_1 \cup L_2 = L , L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing und undL1L1L_1L2L2L_2 sind beide unendlich und regelmäßig. Bisher...
Kürzlich habe ich eine Frage zu Math SE gestellt. Noch keine Antwort. Diese Frage bezieht sich auf diese Frage, aber mehr technische Details zur Informatik. Gegeben sind zwei DFAs A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) und B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma,...
Wir können DFA bilden, indem wir durch teilbare Binärzahlen akzeptieren .nnn Zum Beispiel kann DFA, das durch 2 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: In ähnlicher Weise kann DFA, das durch 3 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: Wir können ein genau...
DFA, NFA und epsilon NFA alle drei ermöglichen es uns, eine bestimmte reguläre Sprache darzustellen. Mit jeder dieser Darstellungen können wir zu demselben regulären Ausdruck gelangen. Warum müssen wir dann alle drei Darstellungsformen endlicher Automaten untersuchen? Es kann eine Erklärung geben,...
Ich generiere zufällige DFAs, um einen DFA-Reduktionsalgorithmus auf ihnen zu testen. Der Algorithmus, der ich jetzt bin verwendet , ist wie folgt: für jeden Zustand , für jedes Symbol des Alphabets , fügen bis zu einem gewissen zufälligen Zustand. Jeder Staat hat die gleiche Wahrscheinlichkeit,...
Es gibt einen Satz, der besagt: Bei einem endlichen Zustandsautomaten mit Zuständen, wenn es eine Zeichenkette deren Länge erfüllt dann ist die vom Automaten akzeptierte Sprache unendlich.nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n- -1n \leq |w| \leq 2n-1 Ich verstehe die Einschränkung , aber ich verstehe...