有回路的有穷自动机转化为正规式的方法

    在网上，大多数在介绍将有穷自动机转化正规式的方法的文章，都只列了如下三条：

其实，只要这三条就可以了。但是大家可能会碰到下面这种有穷自动机而不知道怎么办：

   

不错，这个自动机是一个回路，与上面那三种图都不同。

由于a要出现在开头，然后是ba重复。我们可以将它改成如下的等价自动机：

也就是说，把除b这条回线以外的其他部分视为一条边。这样就可以用上面的三个基本图来对这个等价图操作了。

结果是a(ba)*.这里的a可以是一条边，也可以是复杂的图。

例如下图：