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.