CFL的上下文无关语法

Question

enter code here你好，这是我的问题

给出CFL的上下文无关文法L = {a^nb^mc^n | m, n ∈ N0} L = {a^nb^mc^n | m, n ∈ N0}

我的答案是S-> ASC| B A-> aA| a B-> bB| b C-> cC| c S-> ASC| B A-> aA| a B-> bB| b C-> cC| c

是否我的答案？ 我不确定。 需要一些帮助。 提前致谢

Answer 1

您的语法产生语言

L = {a^n b^m c^k | m, n, k ∈ N0}

因为应用规则A-> aA和C-> cC的次数是独立的。 如果要n = k，则必须在同一规则中生成a和c。 例如这样：

S -> aSc | B .

在第二阶段，您会在中间生成任意数量的b：

B -> bB | <empty string> .