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 Dyck-Sprache mit einer Klammer eine strikte Teilmenge der CFL ist. Jetzt gibt es einige Probleme, die mich immer noch interessieren, aber ich kann nicht glauben, dass niemand habe es schon entdeckt. Gibt es Papiere zu diesem Thema? Die Googeln-Klassifizierung von CFL oder rationalen Funktionen (deterministische FST) + CFL führt zu einem schlechten Ergebnis.
fl.formal-languages
context-free-languages
Alexander Rubtsov
quelle
quelle
Antworten:
Im Allgemeinen scheint der Determinismus des Wandlers keine wirkliche Einschränkung zu sein. Die Auswahlmöglichkeiten, die ein Wandler treffen kann, können in die Eingabesprache verschoben werden. Wenn das für Sie in Ordnung ist, werden die Objekte, die manchmal als werden, als Haupttrios bezeichnet . Beispiele hierfür sind Familien linearer , blinder Zähler- und One-Turn-Zählersprachen (feste Anzahl von Zählern). Die Habilitationsarbeit von Kluas Reinhardt (Online als Methode, Modell und Aufgabe in der Theoretischen Informatik zählen) enthält ein schönes Einschlussdiagramm mehrerer Familien (Seite 64).M(L)
quelle