文字列がCFGが提供されているCFLの一部であるかどうかを確認するために、さまざまなアルゴリズム（CYKおよびEarley）に出くわしました。簡単に理解して実装できるものを探しています。私が知る必要があるのは、文字列が CFG にあるかどうかです。CFG は通常次の形式で与えられます。
S->S1 S2
S1->S1 a | a
S2->S2 b | b
ソリューションは、イプシロン遷移も受け入れることになっています。たとえば、S1-> a | e
何か案は？
質問する
1182 次