Regex CFL的上下文无关语法

在这里输入code

你好，这是我的问题

为CFL提供上下文无关语法

L={a^nb^mc^n | m，n∈ N0}

我的答案是

S->ASC | B
A->aA | A
B->bB | B
C->cC|C

我的回答是否正确？我不确定。

---

我需要一些帮助。提前感谢

您的语法生成了该语言

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

B->bB |。

语法生成语言

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

B->bB |。

您的问题中N0是什么？这也不是编程问题。我想你在computerscience.stackexchange.com或cstheory.stackexchange上的运气会更好。com@ray：cstheory.se用于“理论计算机科学中的研究级问题”。这个问题不符合条件。Cs.se将适用于关于CFG的简单q，但“检查我的家庭作业”q是不受鼓励的，甚至比这里更受欢迎。建议将一个问题迁移到一个不合适的站点，这对任何人都没有好处。@ejaz：根据语法生成前几个句子。它们都是语言的一部分吗？如果不是，你就知道语法错了。你的问题中的N0是什么？这也不是一个编程问题。我想你在computerscience.stackexchange.com或cstheory.stackexchange上的运气会更好。com@ray：cstheory.se用于“理论计算机科学中的研究级问题”。这个问题不符合条件。Cs.se将适用于关于CFG的简单q，但“检查我的家庭作业”q是不受鼓励的，甚至比这里更受欢迎。建议将一个问题迁移到一个不合适的站点，这对任何人都没有好处。@ejaz：根据语法生成前几个句子。它们都是语言的一部分吗？如果没有，你就知道语法错了。