CFL 的上下文无关语法答案

【问题标题】：Context free grammar for CFLCFL 的上下文无关语法
【发布时间】：2017-06-20 16:44:56
【问题描述】：

enter code hereHallo，这是我的问题

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

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

无论我的回答与否？我不确定。需要一些帮助。提前致谢

【问题讨论】：

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

【解决方案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> .

【讨论】：