[工学]第二章词法分析.pptVIP

结论:对于Σ*中的任何一个串α，若NFA M中存在一条从某一初态结点到某一终态结点的路，且这条路上所有弧的标记依次连接成的串（不理睬那些标记为ε的弧）等于α，则称α可以被NFA M所接受（识别）。若M的某些结点既是初态结点又是终态结点，或者存在一条从某个初态结点到某个终态结点的ε路，那么空字ε可被M所接受（识别）。 可以看出，DFA是NFA的一个特例。并且可以证明，对于每个NFA M存在一个DFA M’使得 L(M)=L(M’)。 对于任何两个有限自动机M和M’，如果L(M)=L(M’)，则称M与M’是等价的。 2.2.5 正规式与有限自动机 正规式是单词的一种描述工具，而有限自动机是单词的识别装置，正规式和有限自动机之间可以相互转换，也就是说它们之间存在着等价性，主要表现在以下两个方面: (1) 对于Σ上的NFA M，可以构造一个Σ上的正规式R，使得：L(R)=L(M) ； (2) 对于Σ上的每个正规式R，可以构造一个Σ上的NFA M，使得：L(M)=L(R) 。 NFA M转化为正规式R: 首先我们把状态转换图的概念拓广，使状态转换图的每条弧可以用一个正规式作标记，具体如下: (1) 在NFA M的状态转换图上加进两个结点x、y，从x结点用ε弧连接到M的所有初态结点，同时从M的所有终态结点用ε弧连接到y结点，形成一个与M等价的NFA M’，M’只有一个初态结点x，