Nichtdeterministische Automaten Flashcards
Wofür steht NFA?
Nichtdeterministischer endelicher Automat
Unterschied zwischen NFA und DFA?
- DFA = für jedes Symbol genau eine mögliche Transition
+ NFA =
-> mehrere gleiche Transitionen erlaubt
-> nicht beschriftete Transition ist erlaubt
-> nicht alle Symbole müssen als ausgehend Transitionen vorhanden sein
Was besagt das Kleene’s Theorem?
Reguläre Ausdrücke, DFAs und NFAs sind äquivalente Modelle, in dem Sinn, dass sie alle reguläre Sprachen charakterisieren.
Wann ist eine Sprache regulär?
Sprache ist regulär, wenn es regulären Ausdruck gibt, der sie beschreibt
Sind NFAs und DFAs äquivalent?
Jeder DFA ist auch ein NFA
Wieviele zustände hat ein DFA, wenn ein NFA n Zustände hat?
Wenn NFA n Zustände hat, hat DFA maximal 2 hoch n Zustände
Wie ist ein NFA aufgebaut?
Q: Zustandsmenge E: Eingabealphabet, edlich d: Zustandsübergangsfunktion q0: Startzustand (mehrere Startpunkte) F: Finalmenge (mehrere Endpunkte)
Wie löst man das Wortproblem in einem NFA?
Suche mindestens eine Sequenz von Zustandstransitionen
Gibt es einen regulären Ausdruck, der die gleiche Anzahl a’s und b’s erkennt?
Nein kann nicht erreicht werden.
Sprache der korrekten Klammerausdrücke Java Klammerung?
Nein es existiert kein regulärer Ausdruck
Wann gilt ein Eingangswort als akzeptiert?
Wenn es eine Sequenz gibt, die vom Startpunkt 0 in den Akzeptanzstand bringt.
Was passiert, wenn ein Pfeil mit keinem Symbol beschriftet ist?
Es kann ein Zustandswechsel stattfinden muss aber nicht. Leeres Wort (Epsilon)