compiler-construction - 言語の文脈自由文法

Question

次の言語に問題があります。

文脈自由文法を書かなければなりません：

それを説明しています。私はすでにいくつかのエクササイズをしましたが、これは私にとって本当に難しいです。私は有用なアプローチなしで何時間も座っています。部分N0なしで文法を書くことは問題ではありません ：（m = l）v（l = 2n）。しかし、私はこれを成し遂げる方法がありません。アドバイスをいただければ幸いです。

Answer 1

G2 の構文についてはよくわかりませんが、次の CFG が機能します。

S = S1 | S2

S1 = S11 C
S11 = <empty> | a S11 b
C = <empty> | c C

S2 = aa S2 c | B
B = <empty> | b B