Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie

1
Welche Beziehung besteht zwischen den Sprachen P (PTime) und Typ 1 (kontextsensitiv)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP ist die Menge aller Sprachen, die in der Polynomzeit auf einer deterministischen Turing-Maschine entscheidbar sind, und CSLCSLCSL ist die Klasse der kontextsensitiven Sprachen, die bekanntermaßen , den Sprachen, die von linear begrenzten Automaten bestimmt werden.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Bei vielen offenen Fragen besteht die Tendenz zu einer Antwort ( …
1
Gibt es eine Methode zum Nachweis der Nicht-Regelmäßigkeit von String-Transformationen?
Es gibt verschiedene Modelle zum Definieren von Transformationen zwischen Sprachen. Finite-State-Wandler und MSO-definierbare Graphtransformationen über String-Graphen sind die beiden, die ich am besten kenne. Wir wissen, dass 2-Wege-Finite-State-Wandler (die ausdrucksstärker sind als ihre 1-Wege-Gegenstücke) und MSO-definierbare String-Transformationen denselben Satz von Transformationen zusammen mit einigen anderen weniger bekannten Modellen erfassen, die …
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 = …
3
Semiring Beispiele aus der formalen Sprachtheorie
Ich lerne die algebraische Theorie des Parsens. Mein erstes Problem ist die Identifizierung von Semiring-Beispielen, die spezifisch für die formale Sprachtheorie sind. Hier ist ein Versuch, zwei Beispiele zu konstruieren. 1 Bei gegebener CNF-Grammatik sind die Elemente des Semirings Sätze von terminalen und nicht terminalen Symbolen mit den Operationen: i) …
1
Reguläre Ausdrücke ohne Abwechslung
Ich habe mich gefragt, welche Sprachen durch Einschränkungen regulärer Ausdrücke erzeugt werden. Angenommen, alle Einschränkungen haben ein konstantes Symbol für jedes Element von und Verkettung. Dann können acht Klassen durch das Vorhandensein oder Fehlen von Komplement / Negation, Veränderung / Vereinigung und dem Kleene-Stern gebildet werden. (Ja, 'normale' reguläre Ausdrücke …
2
Chomsky-Normalformmethode: Auswirkungen auf die Leistung des CYK-Parsers?
Diagrammparser können basierend auf der Chomsky-Normalform oder direkt basierend auf Produktionsregeln implementiert werden. Nehmen wir für den Moment an, wir haben einen CYK-Diagrammparser, der die Chomsky-Normalform verwendet. Die Binarisierung ist nicht eindeutig definiert. Beeinträchtigt dies die Leistung der CYK-Diagrammanalyse? Kann dies genutzt werden, um die Leistung eines CYK-Diagrammparsers zu verbessern?
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?
1
Eine Vermutung im Zusammenhang mit der Cerny-Vermutung - Gegenbeispiel / Referenzanforderung
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 beiden Zustände in den gleichen Zustand …
2
Fehler im Wikipedia CSG Beispiel?
Ich bin verwirrt über das Beispiel in einem Wikipedia-Artikel über kontextsensitive Grammatik: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Ich habe den besprochenen Abschnitt im Wikipedia-Artikel bereits geändert, sodass der aktuelle Status des Artikels von dem abweicht , was ich in dieser Frage diskutiere. Die Originalversion finden Sie hier: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 Die folgende Grammatik mit …
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.