标签: automata ambiguous-grammar
为以下语言找到一个简单的语法(又称s语法):
L = {(ab) 2m b:m> = 0}
[我做到了,但这是错误的]
S-> aASBB | b
A-> a
B-> b
答案 0 :(得分:1)
那呢?
S -> aA | T A -> bB B -> aC C -> bS T -> b
这是一个常规语法-形式为X -> sY或X -> t的所有产生式,并且通过直接将产生式转换为事务并将非终结符符号表示为状态,对应于所讨论语言的最小DFA
X -> sY
X -> t