如何构建生成语言 L 的文法？
How to construct a grammar that generates language L?
我在学习形式语言 class，接下来要进行语法测验。我假设会出现这样的东西。
考虑字母表 ∑ = {a, b, c}。构造生成语言 L = {bab^nabc^na^p : n ≥ 0, p ≥ 1} 的文法。假设起始变量为S.
自从我最后一次使用形式语言以来已经有很长时间了，所以，请原谅我的生疏，但这就是语言：我们将 S 划分为前缀变量 (A) 和一个后缀变量 (B)。然后，我们分别处理前缀和后缀，它们都有进一步递归的可能规则，结束标志为空，其中不需要出现，而常量至少需要出现。
{bab^nabc^na^p : n ≥ 0, p ≥ 1}
S -> ASB
A -> babAabc
A -> {empty}
B -> Ba
B -> a
我在学习形式语言 class，接下来要进行语法测验。我假设会出现这样的东西。
考虑字母表 ∑ = {a, b, c}。构造生成语言 L = {bab^nabc^na^p : n ≥ 0, p ≥ 1} 的文法。假设起始变量为S.
自从我最后一次使用形式语言以来已经有很长时间了，所以，请原谅我的生疏，但这就是语言：我们将 S 划分为前缀变量 (A) 和一个后缀变量 (B)。然后，我们分别处理前缀和后缀，它们都有进一步递归的可能规则，结束标志为空，其中不需要出现，而常量至少需要出现。
{bab^nabc^na^p : n ≥ 0, p ≥ 1}
S -> ASB
A -> babAabc
A -> {empty}
B -> Ba
B -> a