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

正规表达式 1*0(0+1)* 举例:从正规表达式构造等价的? - NFA 0+1 ? ? ? ? 1* ? ? ? ? 从正规表达式构造等价的? - NFA (0+1)* ? ? ? ? ? ? ? ? 1*0(0+1)* ? ? ? ? ? ? ? ? ? ? ? ? ? ? R=(a|ab)* b b* ? 正规式用于说明(描述)单词的结构十分简洁方便。而把一个正规式编译(或称转换)为一个NFA进而转换为相应的DFA，这个NFA或DFA正是识别该正规式所表示的语言的句子的识别器。基于这种方法来构造词法分析程序 词法分析程序的设计技术可应用于其它领域，比如查询语言以及信息检索系统等，这种应用领域的程序设计特点是，通过字符串模式的匹配来引发动作 又如LEX，说明词法分析程序的语言，可以看成是一个模式动作语言。 词法分析程序的自动构造工具也广泛应用于许多方面，如用以生成一个程序，可识别印刷电路板中的缺陷，又如开关线路设计和文本编辑的自动生成等。 习题 4.7 练习 1 （1） 3 4 (b) 5 本章小结 词法分析程序是编译第一阶段的工作，它读入字符流的源程序，按照词法规则识别单词，交由语法分析程序接下去。 本章讲述了词法分析程序设计原则，并介绍了分别作为正规集描述和识别机制的正规式和有穷动机。在此基础上给出了词法分析程序自动构造工具如LEX的原理。 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],a)= [R1R2... Rt] 其中 {R1,R2,... , Rt} = ?-closure(move({S1, S2,,... Sj},a)) 4 S0=?-closure(K0)为M的开始状态； 5 St={[Si Sk... Se]，其中[Si Sk... Se]?S且{Si , Sk,,... Se}?Kt??} 定义对状态集合I的几个有关运算： 1. 状态集合I的ε-闭包，表示为ε-closure(I)，定义为一状态集，是状态集I中的任何状态S经任意条ε弧而能到达的状态的集合。 状态集合I的任何状态S都属于ε-closure(I)。 2. 状态集合I的a弧转换，表示为move(I,a)定义为状态集合J，其中J是所有那些可从I中的某一状态经过一条a弧而到达的状态的全体。 状态集合I的有关运算的例子 I={1}, ?-closure(I)={1,2}； I={5}, ?-closure(I)={5,6,2}； move({1,2},a)={5,3,4} ?-closure({5,3,4})={2,3,4,5,6,7,8}； 1 2 5 3 4 6 8 7 a a ? ? ? ? ? a 构造NFA N的状态K的子集的算法： 假定所构造的子集族为C，即C= (T1, T2,,... TI),其中T1, T2,,... TI为状态K的子集。 1 开始，令?-closure(K0)为C中唯一成员，并且它是未被标记的。 2 while （C中存在尚未被标记的子集T）do { 标记T； for 每个输入字母a do { U:= ?-closure(move(T,a))； if U不在C中