查找S语法(简单语法)

时间:2019-06-30 16:58:13

标签: automata ambiguous-grammar

为以下语言找到一个简单的语法(又称s语法):

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

[我做到了,但这是错误的]

S-> aASBB | b

A-> a

B-> b

1 个答案:

答案 0 :(得分:1)

那呢?

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

这是一个常规语法-形式为X -> sYX -> t的所有产生式,并且通过直接将产生式转换为事务并将非终结符符号表示为状态,对应于所讨论语言的最小DFA