相关疑难解决方法(0)

我是CFG的新手,
有人可以给我一些关于创建生成某种语言的CFG的技巧

例如

L = {am bn | m >= n}

我得到的是:

So -> a | aSo | aS1 | e
S1 -> b | bS1 | e

但是我认为这个领域是错误的,因为有可能的数量b可能大于a.

如何为以下语言生成正式的上下文无关语法:

{ai bjck | i != j or j != k}

我有以下作品,但无法理解:

     S->AX | YC                     unequal b’s c’s or a’s b’s

     A-> aA | e                     0 or more A’s

     C -> cC |e                     0 or more c’s

     B -> bB | e                    0 or more B’s

     X -> bXc | bB | cC             equal b’s, c’s then 1+ b’s, 
                                    1+C’s (i.e. unequal b’s and c’s)

     Y -> aYb | bB | aA             unequal a’s b’s

任何人都可以帮助我理解和解决这个问题吗？