为语言生成CFG

Question

考虑一下语言{a n b m c p | n <= p OR m <= p} {a n b m c p | n <= p OR m <= p} ，为此语言创建CFG。
我从S -> aA | aB S -> aA | aB ，但不确定如何定义A或B。“ OR”似乎很难纳入语言的定义中，因为似乎不必同时跟踪n和m并将它们与p进行比较，但是我没有不知道我要追踪哪一个

Answer 1

为了维持该约束，您需要为每个“ a”添加一个“ c”。 同样，对于每个“ b”，您都应添加一个“ c”。

A -> aAC | aC | B

B -> bB | bC

C -> cC | c

我在这里可能是错的。 但这就是创建CFG时应该考虑的方式。