grammar - 查找该语言的语法

Question

{a ^m b ⁿ c ⁱ | m > n + i}

我已经尝试了两个小时来解决这个问题。这就是我到目前为止所拥有的。

//To start with as many a's as you want:  
S => a | aA | aS   
//To ensure an a gets added each time a b or c does so there is always at least 1 more a than b's plus c's.  
A => aBb | aaBbCc | aCc   
B => aBb | lambda  
C => ???

我知道这远非正确，这就是我寻求帮助/提示的原因。

谢谢。

Answer 1

Answer 2

从内到外构建它：

• B → ABB | ε - 匹配 a ⁱ b ⁱ
• C → 加减 | B -- 匹配 a ^i+j b ⁱ c ^j
• S → 交流电 | aS -- 在前面至少再添加一个 a

这不是最小的——你可以用 5 个规则和 2 个非终端来做到这一点。