标签： grammar regular-language computation-theory formal-languages
我需要帮助来构造语言的右线性语法{w∈{a，b} * | w不会以aa}结束。
我构建了语言{w∈{a，b} * |的常规语法w不会以aa}结尾，如下所示
S - ＆gt; aA | bB | ε
A - ＆gt; aC | bB | ε
B - ＆gt; aA | bB | ε
C - ＆gt; aC | bB
如何构建相同的右线性语法？
答案 0 :(得分：1)
你的语法已经是正确的线性，因为：