grammar - その言語の文法を見つける

Question

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

私はこれを2時間理解しようとしてきました。これは私がこれまでに持っているものです。

//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