Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

1
Mehrsprachige DFA-Minimierung
Ich interessiere mich für eine leichte Verallgemeinerung von DFA. Wie üblich wir state-Satz haben , finite Alphabet Σ , a Σ * -action definiert auf Q durch δ : Q × Σ → Q und Anfangszustand q 0 ; aber statt der üblichen Endapparat, nehmen wir eine Familie ( T …
1
Verallgemeinerung der Aussage, dass ein Monoid die Sprache erkennt, wenn das syntaktische Monoid das Monoid teilt
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 so dass L = …
1
Automaten, die
Sei ein endliches Alphabet. Ein Code X über Σ ist eine Teilmenge von Σ * , so dass jedes Wort in X * eindeutig als eine Verkettung von Worten dargestellt werden , in X . Ein Code X ist endlich, wenn | X | ist endlich. Was ist über (minimale) …
1
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen?
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen? Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden "aufgefüllt" wird, die niemals überschrieben werden können und so dass sich der Kopf niemals aus …
2
Verallgemeinerung von Brzozowskis DFA-Minimierungsalgorithmus auf endliche Automaten mit verschiedenen Klassen von Akzeptanzzuständen?
Brzozowskis Algorithmus zum Umwandeln eines DFA in einen äquivalenten DFA mit minimalem Zustand ist bemerkenswert einfach: Wenn die NFA bezeichnet, die durch Umkehren aller Kanten in einem DFA wird, wird der alte Startzustand zu einem akzeptierenden Zustand und der alte akzeptierende Zustand Zustände beginnen Zustände, und wenn die Teilmenge Aufbau …
1
Gerichtete Multigraphen als minimale Automaten
Bei einer regulären Sprache auf Alphabet kann sein minimaler deterministischer Automat als gerichteter verbundener Multigraph mit konstantem Out-Gradund einen markierten Anfangszustand (durch Vergessen von Bezeichnungen von Übergängen, Endzuständen). Wir behalten den Ausgangszustand bei, da jeder Scheitelpunkt von dort aus zugänglich sein muss.L.L.LEINEINA| A ||EIN||A| Ist das Gegenteil wahr? Wenn also …
1
DFA-Schnittalgorithmus für Sonderfälle
Ich interessiere mich für effiziente Algorithmen für die DFA-Schnittmenge für Sonderfälle. Wenn sich die zu schneidenden DFAs einer bestimmten Struktur gehorchen und / oder mit einem begrenzten Alphabet arbeiten. Gibt es eine Quelle, in der ich in solchen Fällen Algorithmen finden kann? Um die Frage nicht zu weit zu fassen, …
2
Sind nicht deterministische Baumlaufautomaten stärker als deterministische?
Update: Es scheint, dass dieses Problem kürzlich untersucht und gelöst wurde. Siehe diesen Wiki-Artikel: http://en.wikipedia.org/wiki/Tree_walking_automaton Und auch diese Umfrage: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Angenommen, anstelle der üblichen Wortgruppe {0,1} * sind unsere Wörter nicht linear, sondern werden in einer Baumstruktur angegeben. Um zu verhindern, dass unsere Maschinen "verloren gehen", definieren Sie unsere …
4
Warum sind linear begrenzte Automaten nicht so beliebt wie andere Automaten?
Nach meiner Erfahrung werden kontextsensitive Sprachen und linear begrenzte Automaten in Kursen zur Berechenbarkeitstheorie häufig übersprungen oder übersprungen und sogar in einigen bemerkenswerten Lehrbüchern weggelassen, obwohl endliche und Pushdown-Automaten viel Aufmerksamkeit erhalten. Sicherlich muss es einen guten Grund geben, warum LBAs weniger fokussiert werden als ihre Kollegen?
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.