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.

5
Endliche Zustandsautomaten: Endzustände
In unserem Kurs über Programmiersprachenkonzepte behauptete unser Kursleiter, dass es in Ordnung ist, wenn ein Endzustand in einem Diagramm mit endlichen Zuständen zu einem anderen Zustand führt. Dies scheint jedoch ein grundsätzlich widersprüchliches Konzept zu sein. Da ein Endzustand per Definition Übergänge beendet, dh, sobald Sie ihn erreicht haben, bleibt …

1
Ein falscher Nachweis des Schließens unter der Sternoperation unter Verwendung von NFA führt dazu, dass die NFA unerwünschte Zeichenfolgen erkennt?
Ich lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der …






2
Zählen der Anzahl der von einer azyklischen NFA akzeptierten Wörter
Sei eine azyklische NFA.MMM Da azyklisch ist, ist endlich.L ( M )MMML(M)L(M)L(M) Können wir berechnenin Polynomzeit?|L(M)||L(M)||L(M)| Wenn nicht, können wir es annähern? Beachten Sie, dass die Anzahl der Wörter nicht mit der Anzahl der akzeptierenden Pfade in , was leicht berechenbar ist.MMM Lassen Sie mich einen offensichtlichen Ansatz erwähnen, der …



3
Der Nachweis, dass die Sprache, die aus allen Zeichenfolgen in einer Sprache besteht, dieselbe Länge hat wie eine Zeichenfolge in einer anderen Sprache, ist normal
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …




3
Deterministische endliche Automaten zählen
Ich habe eine Frage zum Zählen von DFAs: Wie würde ich bei einer Σ = {0, 1}Eingabezeichenfolge mit festgelegtem Status Q = {1...n}die Gesamtzahl der DFAs ermitteln, die erstellt werden können? Ich glaube, dies ist ein kombinatorisches Problem, aber ich bin mir nicht sicher, was ich multiplizieren müsste. Vielen Dank.

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.