词法分析程序的设计原则-单词的描述技术-识别机制及词法.pptVIP

000 111 1010001 110000001 00 01100  NFA M所能接受的符号串的全体记为 L(M) 结论： ?上一个符号串集V???是正规的，当且仅当存在一个?上的不确定的有穷自动机M，使得V=L(M)。 (0|1)*(000|111)(0|1)* 确定有限自动机和不确定有限自动机 DFA是NFA的特例.对每个NFA 　N一定存在一个DFA　Ｍ ，使得 L(M)=L(N)。对每个NFA N存在着与之等价的DFA M。 有一种算法，将NFA转换成接受同样语言的DFA.这种算法称为子集法. 与某一NFA等价的DFA不唯一. NFA确定化算法: 假设NFA N=(K, ?,f,K0,Kt)按如下办法构造一个DFA M=(S, ?,d,S0,St)，使得L(M)=L(N)： 1. M的状态集S由K的一些子集组成。用[S1 S2... Sj]表示S的元素，其中S1, S2,,... Sj是K的状态。并且约定，状态S1, S2,,... Sj是按某种规则排列的，即对于子集{S1, S2}={ S2, S1,}来说，S的状态就是[S1 S2]； 2 M和N的输入字母表是相同的，即是?； 3 转换函数是这样定义的： d([S1 S2,... Sj],