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.

1
Überschneidung des Kontexts frei mit regulären Sprachen
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 Sprache enthält Zeichenfolgen, die sowohl von einem PDA als auch von …
3
Brzozowski-Algorithmus zur DFA-Minimierung
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 Powerset-Konstruktion, um G′G′G' für die Umkehrsprache zu erhalten, Umkehren der …
7
Warum heißt NFA nicht deterministisch?
Ich habe diese [irgendwie witzige] Frage im Kopf. Warum ist das nicht-deterministischen endlichen Automaten genannt nicht-deterministisch, während wir die Übergänge für Eingänge definieren. Nun, obwohl es mehrere und Epsilon- Übergänge gibt, sind diese definiert, was bedeutet, dass die Maschine für diese Übergänge deterministisch ist. Das heißt, es ist deterministisch.
2
Wie kam es, dass das Wort „Produktion“ im Kontext der Informatik ein Synonym für das Wort „Regel“ war?
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten. Ich bin kein englischer Muttersprachler, aber ich weiß, dass sich eine …
1
Monadic Second Order Logic für Dummies
Ich bin Programmierer mit einem Griff auf Automaten, aber nicht auf Logik. Ich habe in Zeitungen gelesen, dass die beiden sehr eng miteinander verbunden sind. Deterministische endliche Automaten (DFA), Baumautomaten und sichtbare Pushdown-Automaten sind alle mit der monadischen Logik zweiter Ordnung (MSO) verwandt. Obwohl ich die Automaten verstehe und die …
3
Wie verwendet eine NFA Epsilon-Übergänge?
Im Bild unten versuche ich herauszufinden, was genau diese NFA akzeptiert. Was mich verwirrt, ist der Sprung bei .ϵϵ\epsilonq0q0q_0 Wenn eine eingegeben wird, wechselt das System dann zu und (dem Akzeptanzstatus)?000q0q0q_0 q1q1q_1 Wenn eine eingegeben wird, wechselt das System zu und ?111q1q1q_1q2q2q_2 Geht das System nur dann nach (Accept State), …
2
Wie komplex ist das Leereproblem bei 2-Wege-DFAs?
Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind. Ich habe staatliche Komplexität für ihre Komplemente und Schnittpunkte gefunden, …
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.