Sei EINAA ein endliches Alphabet. Für eine gegebene Sprache L ⊆ A.∗L⊆A∗L \subseteq A^{\ast} das syntaktische Monoid M.( L )M(L)M(L) ein in der formalen Sprachtheorie bekannter Begriff. Weiterhin erkennt ein Monoid M.MM eine Sprache L.LL wenn ein Morphismus φ : A.∗→ M.φ:A∗→M\varphi : A^{\ast} \to M...
Ob es einige Ergebnisse zur Lösung formaler Sprachprobleme mit mathematischer Analyse oder kontinuierlicher Mathematik gibt? Zum Beispiel das Lösen des Problems der Nichtleere der Kreuzung für eine kontextfreie Sprache und eine reguläre
Ich möchte eine Umfrage über die Methode zur Darstellung der Dynamik staatlicher Berechnungen im Rahmen von Kohlegebren schreiben. Bisher habe ich es geschafft, Artikel über Kohlegebra-Darstellungen von DFA, NFA, Mealy-Maschinen, Moore-Maschinen, kontextfreien Grammatiken und sogar einfachen...
Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann...
Schreiben Sie als Parikh-Karte --ie, , wobei gibt an, wie oft in erscheint . Es ist bekannt , dass für ein CFL , ist ein semilinearer Satz (dies ist Parikh-Theorem). Einige andere interessante Dinge sind bekannt, aber ich habe nichts über die Parikh-Karte einer kontextsensitiven Sprache gefunden....
Ich schreibe einen Spielzeugmodellprüfer und bin an dem Punkt angelangt , an dem es Zeit ist, die Übersetzung von LTL in Buchi-Automaten zu implementieren. Aus verschiedenen offensichtlichen Gründen möchte ich, dass der Algorithmus einfach ist :) zB möchte ich, dass der Code so lange wie möglich...
Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA...
Im Zusammenhang mit einer kürzlich gestellten Frage ( Grenzen der Größe des kleinsten NFA für L_k-different ) fragte Noam Nisan nach einer Methode, um eine bessere Untergrenze für die Größe eines NFA anzugeben, als dies aus den Grenzen der Kommunikationskomplexität hervorgeht. Was folgt, ist eine...
Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( | w | . |...
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die...