找到s-语法（简单语法）

Question

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

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

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

S-> aASBB|b

A->a

B->b

Answer 1

这个怎么样？

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

这是一个常规语法 -

X -> sY

或

X -> t

形式的所有产生式，并且通过产生式到事务和非终结符号到状态的直接映射，对应于所讨论语言的最小 DFA。

Answer 2

怎么样

S->aAb|b A->aAb|bB B->lambda