北邮形式语言与自动机

这节主要讨论的就是右线性语言和有限自动机接受的语言之间的关系，显然他们可以相互转化 证明略，文法已知构造自动机方法如下 自动机已知，构造文法如下： 则我们可以得出下列结论