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

Theory of Automata : Context Free Grammar

请帮我制作一个该语言的CFG。

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

我厌倦了尝试这个但无法完成它。

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

您 "force order" 首先根据需要生成尽可能多的 c,然后再继续 bs。