Als «finite-automata» getaggte Fragen

Fragen zu endlichen Automaten, einem elementaren Automatenmodell mit endlichem Speicher. Es entspricht regulären Sprachen und ist die Basis für viele komplexere Modelle.


2
Optimaler Myopic Labyrinthlöser
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. Lassen Sie unseren Roboter …







1
Unterscheidet sich der Nichtdeterminismus in einer nicht deterministischen Turingmaschine von dem von endlichen Automaten und Push-Down-Automaten?
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 …


4
Was ist ein guter Algorithmus zum Generieren von zufälligen DFAs?
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, ein Endzustand zu werden.qqqcccδ( q, …

1
Unterschied zwischen den Sprachen, die von zwei DFAs mit unterschiedlichen Ausgangszuständen / Akzeptanzzuständen akzeptiert werden?
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, \delta, q_2, F_2) wobei die Menge der Zustände, das …

3
Wenn kontextfrei und regulär ist, ist kontextfrei?
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, der akzeptiert, und einen DFA, …


2
Unterteilen Sie eine unendliche reguläre Sprache in zwei disjunkte unendliche reguläre Sprachen
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 dachte ich an: unter Verwendung des Pump-Lemmas, so …

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.