Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

1
Ist der Verschluss von P unter e-freien Homomorphismen gleich NP?
Die kontextfreien Sprachen können als Abschluss der Dyck-Sprache unter den Kegeloperationen erhalten werden . Die Dyck-Sprache ist eine deterministische kontextfreie Sprache, und die Kegeloperationen entsprechen den Operationen, die von nichtdeterministischen Finite-State-Wandlern implementiert werden können. Dieses Ergebnis wird weniger überraschend, wenn man bedenkt , dass nicht deterministische transduktor liefern können Zertifikate …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
5
Beziehung zwischen formalem System und formalen Sprachen
In einem Informatikkurs ist es üblich, die Hierarchie formaler Sprachen, Grammatiken, Automaten und Turing-Maschinen zu studieren. Ich frage mich, in welcher Beziehung diese Objekte zu formalen Systemen stehen. Zum Beispiel soll Lambda-Kalkül ein formales System sein. Würde seine Grammatik auch als formales System betrachtet werden?
1
Wenn
Ich möchte beweisen, dass regulär ist, wenn regulär ist, aber ich komme anscheinend nicht weiter. Wenn möglich, hoffte ich auf einen Hinweis, um mich in die richtige Richtung zu bringen. Danke für deine Hilfe.L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\}LLL Meine Idee, um die Regelmäßigkeit der Quadratwurzelsprache zu demonstrieren, war es, zwei Maschinen zu betrachten, …
2
Ist 0 * entscheidbar?
Ich fand eine Aussage (ohne Erklärung), dass eine Sprache entscheidbar ist. Wie ist das möglich? Ich meine, wie würden wir eine Turing-Maschine bauen, die eine möglicherweise unendliche Folge von Nullen akzeptiert (oder ablehnt)? Ich dachte auch, dass wir vielleicht einen Enumerator erstellen könnten, der alle Wörter von 0 ^ * …
1
Kleinste NFA, die Verkettungen von zwei Wörtern der Länge akzeptiert, die an allen Positionen unterschiedlich sind
Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie, dass, da fest ist, und als endliche Sprache regulär ist.kkk|Lk|=(|Σ|⋅(|Σ|−1))k|Lk|=(|Σ|⋅(|Σ|−1))k|L_k|=(|\Sigma|\cdot(|\Sigma|-1))^k % Das triviale DFA für die …
1
Wie kann man beweisen, dass kontextsensitive Sprachen unter Überschneidung und Ergänzung geschlossen sind?
Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den kontextsensitiven Schließungseigenschaften Wikipedia und princeton.edu . Ich weiß, dass diese …
5
Bedeutung der leeren Zeichenfolge
Welche Bedeutung hat eine leere Zeichenfolge in CS (und insbesondere in formalen Sprachen) im Sinne einer Zeichenfolge, die sich von einer Nullreferenzzeichenfolge unterscheidet? Warum brauchen Sie ein separates Konzept, das der "leeren Zeichenfolge", die sogar einen eigenen griechischen Buchstaben (ε) hat? Könnte nicht nur ein EOL-Charakter es ersetzen?
2
Klassen von NFAs, die effiziente Teilmengenprüfungen oder eindeutige Konvertierungen ermöglichen
Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere akzeptieren die NFAs, die ich betrachte, eine endliche Sprache, …
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.