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,...
Dies ist eine Folgefrage von dieser . In einer früheren Frage zu exotischen Zustandsautomaten haben Alex ten Brink und Raphael die Rechenfähigkeiten einer besonderen Art von Zustandsmaschine angesprochen: Min-Heap-Automaten. Sie konnten zeigen, dass die von solchen Maschinen akzeptierte Menge von...
Ich habe in ein paar Tagen eine Prüfung und habe Probleme, diese Aufgabe zu lösen. Sei eine reguläre Sprache über dem Alphabet Σ . Wir haben den Betrieb Zyklus ( L ) = { x y | x , y ∈ & Sgr; * und y x ∈ L } Und nun sollten wir das zeigen Zyklus ( L ) ist auch regelmäßig.L.LLΣΣ\SigmaZyklus( L...
Ich habe versucht, den Brzozowski-Algorithmus zu implementieren, aber ich habe gerade festgestellt, dass er suboptimale Automaten für eine bestimmte Klasse von Eingaben erstellt und einen Status mehr hat, als im Ergebnis wirklich benötigt wird. Ich kann es auf einem trivialen Automaten zeigen: a b...
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:...
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie...
Ich suche nach praktischen Anwendungen von Finite-State-Maschinen wie DFA-, NFA-, Moore-, Mealy-Maschinen ... Es wäre hilfreich, wenn jemand auf Beispiele aus dem Linux-Kernel verweist. Ich weiß, dass DFA beim String-Matching wie beim KMP-Algorithmus verwendet wird. Welche Bedeutung haben NFA-,...
Sei A = {L ∣ L.ist ein Zähler und L.¯ ist auch ein Zähler }EIN={L.∣L.ist ein Zähler und L.¯ ist auch ein Zähler}}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Es ist klar, dassDeterministischer Einzähler ⊆ A.Deterministischer Einzähler⊆EIN\text{Deterministic...
Ist die Sprache L = { 0 n 1 m ∣ n und m sind co-prime }L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} kontextfrei? Ich denke, dass es nicht kontextfrei ist, weil es für einen PDA zu kompliziert erscheint, um zu entscheiden, ob zwei Zahlen Co-Prime sind...
Funktioniert unser PC als Turingmaschine? Das Modell einer Turingmaschine besteht aus einem unendlichen Speicherband, was unendliche Zustände bedeutet. Angenommen, unser PC verfügt über 128 MB Speicher und 30 GB Festplatte, hat 256 ^ 30128000000 Zustände und somit endliche Zustände. Ich weiß, dass...
Nach meiner heutigen Theorie der Berechnungstheorie kam mir die Frage in den Sinn: Wenn ein Problem mit einem endlichen Automaten gelöst werden kann, gehört dieses Problem zu P. Ich denke, es ist wahr, da Automaten sehr einfache Sprachen erkennen, würden alle diese Sprachen Polynomalgorithmen...
Dies hängt etwas mit einer anderen Frage zusammen, die ich gestellt habe , aber ich denke, es ist anders genug, um eine eigene Frage zu rechtfertigen. Ich mache Forschungen, bei denen ich versuche, die Struktur von Komplementen einer bestimmten Klasse endlicher Sprachen zu finden. Es fällt mir...
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...
Ich habe lange versucht, eine Konstruktion zu finden, damit ich formal nachweisen kann, dass ein deterministischer PDA unter Ergänzung geschlossen ist. Es kommt jedoch vor, dass jede Idee, die ich habe, etwas hat, das am Ende nicht passt. Könnten Sie mir helfen? Das Hauptproblem tritt bei den...
Bei einem DFA A bezeichne L (A) die Anzahl der Wörter, die A akzeptiert. Ich denke, es ist einfach, L (A) zu berechnen: Übersetzen Sie die Codierung von A in einen regulären Ausdruck. Wenn der Kleene-Stern irgendwo im Ausdruck erscheint, ist die Sprache unendlich. Sonst: Gehen Sie alle...
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...
Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand...
Ist es möglich, Pushdown-Automaten zu minimieren? Wenn nein, warum? Liegt es daran, dass die Äquivalenzklassen zur Minimierung einen endlichen Index haben müssen und wir dies für CFG nicht garantieren
Dies ist etwas, das ich nicht finden konnte - aber ich fand es immer interessant, dass das Pump-Lemma nur ein Lemma ist (zumal es den gleichen Namen für reguläre Sprachen, kontextfreie Sprachen usw. hat). Was ist das für ein
Ich habe einen endlichen Automaten ohne endgültige / akzeptierende Zustände, also ist F leer. Wie minimiere ich es? Ich habe dies bei einem Test erhalten und wusste nicht, wie ich das Problem angehen sollte, da der Automat keine akzeptierenden Zustände hatte. Ist ein einzelner Ausgangszustand mit...