為語言生成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時應該考慮的方式。