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