{a m b n c i | 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 => ???
我知道这远非正确,这就是我寻求帮助/提示的原因。
谢谢。