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> .