CFL的上下文无关语法

时间:2017-06-20 16:44:56

标签: regex context-free-grammar finite-automata context-free-language chomsky-normal-form

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

为CFL提供无上下文语法 L = {a^nb^mc^n | m, n ∈ N0}

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

我的回答是否合适?我不确定。 需要一些帮助。提前谢谢

1 个答案:

答案 0 :(得分:3)

您的语法生成语言

S -> aSc | B .

因为应用规则A-> aA和C-> cC的次数是独立的。如果你想要n = k,那么你必须在同一规则中生成a和c。例如:

B -> bB | <empty string> .

在第二阶段,你在中间产生一个任意数量的b:

{{1}}