私の研究では、有理関数画像の下でCFLを分類する問題が発生しました。言い換えれば、どのようなクラスの言語が言語形成するか、固定文脈自由言語Lおよび決定論的有限状態トランスデューサ。中括弧が2つあるDyck言語がCFLに対応し、中括弧が1つあるDyck言語がCFLの厳密なサブセットであるような簡単な結果が得られましたが、今でも興味のある問題がいくつかありますが、まだ発見しています。この問題に関する論文はありますか？CFLまたは有理関数（決定論的FST）+ CFLのグーグル分類は悪い結果をもたらします。
2
Chomsky-Schützenberger定理は、この一連の結果に該当します。人々（つまり、ギンズバーグなど）は、そこから言語の抽象ファミリ（AFL）の概念に移りました。
—
シルヴァン、