Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie

1
Untergrenze für NFA, die 3-Buchstaben-Sprache akzeptiert
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 spezielle Version dieses Problems. Angenommen, …


1
Rationale Funktionen und CFL
In meiner Arbeit trat das Problem der Klassifizierung von CFL unter rationalen Funktionsbildern auf. Mit anderen Worten : Welche Klasse von Sprachen bilden Sprachen freie Sprache, für festen Kontext und deterministisch transduktor . Ich habe einige einfache Ergebnisse erzielt, da die Dyck-Sprache mit zwei Klammern der CFL entspricht und die …

1
Zweiwege deterministische Mehrkopfzählerautomaten oder Logspace TM mit Zähler
Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten, dass die Klasse von Sprachen, die von solchen nichtdeterministischen Maschinen erkannt …

3
Beispielfrage für 1-Wege-Quanten-endliche Automaten
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 mit den folgenden Übergangsregeln: ,Va|q0⟩ = 12| q0⟩ + 12| q1⟩ + …

1
Nicht-CFL-Verschlusseigenschaften
Ich wurde von einem Studenten wie folgt gefragt und konnte keine vollständige Antwort finden: Gibt es Schließungseigenschaften für die Klasse von Sprachen, die nicht kontextfrei sind? Es ist ziemlich einfach, Beispiele zu finden, die zeigen, dass es nicht unter Schnittmenge und Iteration geschlossen ist (Kleene-Sternoperator), aber wie wäre es mit …

1
Können Regexe, die nichtreife (widerstrebende) Quantifizierer enthalten, umgeschrieben werden, um sie nicht zu verwenden?
Betrachten Sie eine Regex-Sprache mit dem gierigen Quantifizierer , dem nicht-gierigen Quantifizierer ∗ ? , geordnete Wechsel- und Charakterklassen. (Dies ist im Wesentlichen eine Subsprache von PCRE ohne Rückreferenzen, umschauende Behauptungen oder einige der anderen schickeren Teile.)∗∗*∗ ?∗?{*}? Eine Übereinstimmung für einen regulären Ausdruck R auf einer Zeichenkette s = …




1
Tool zur Übersetzung von PDAs in CFGs
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 eine Reihe von Übergangsfunktionen eingeben und …
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.