在网上,大多数在介绍将有穷自动机转化正规式的方法的文章,都只列了如下三条:
其实,只要这三条就可以了。但是大家可能会碰到下面这种有穷自动机而不知道怎么办:
不错,这个自动机是一个回路,与上面那三种图都不同。
由于a要出现在开头,然后是ba重复。我们可以将它改成如下的等价自动机:
也就是说,把除b这条回线以外的其他部分视为一条边。这样就可以用上面的三个基本图来对这个等价图操作了。
结果是a(ba)*.这里的a可以是一条边,也可以是复杂的图。
例如下图: