有穷自动机到正规式的转换

有穷自动机到正规式的转换 将转换图的概念加以拓广,令其中的每条弧都可以用一个正规式标记,具体方法如下。 首先,在 M 的转换图上添加两个结点: X 结点和 Y 结点,从 X 结点用 ε 连线连接到 M 的所有初态结点,从 M 的所有终态结点用 ε 连线连接到 Y 结点,从而构成一个新的非确定有穷自动机 M’ ,它只 有一个初态结点 X 和一个终态结点 Y 。显然,L ( M ) = L ( M’

>>阅读原文<<