自动机理论:上下文无关语法



请帮助我为这种语言制作CFG。

a^i b^j c^k where i<j+k

我受够了尝试,但没能完成。

S -> Ac | Bb
A -> Ac | aAc | B
B -> Bb | aBb | ε

您可以通过首先生成所需数量的c来"强制排序",然后再转到bs。

最新更新