查找 s-grammar（简单语法）

Question

找到以下语言的简单语法（又名 s-grammar）：

L={(ab)^2mb :m>=0}

[我这样做了，但是错了]

S->aASBB|b

A-> 一个

B->b

Answer 1

这个怎么样？

S -> aA | T
A -> bB
B -> aC
C -> bS
T -> b

这是一个常规语法 - 所有形式为 X -> sY 或 X -> t 的产生式，通过产生式到事务和非终结符号到状态的直接映射，对应于所讨论语言的最小 DFA。