Chapter-3-词法自动化重点.ppt

* 数据结构的设计。考虑词法分析程序的输出。 * 变量和子程序的设计。 * * * δ(s, ε a)={s1 ,s3} 的简写。 * 限定：在Ri中只能出现字母表Σ中的字符，以及前面已 定义的正则表达式名字，我们用这种辅助定义式 (相当于规则)来定义程序语言的单词符号。 * “(”和“)”打上引号是为了和正则表达式中的元符号相区别 * 1、在黑板上复习确定化过程，或者请1－2个同学上来作，其他同学在下面作。 2、在黑板上画出确定后的状态机。作为下一页的讲解依据。也是本页讲解“到达终态所识别的单词”的依据。 * 是否是体现最长匹配原则？ * 每讲完一组回到目录页。 * 和前面讲的不同，为什么？ 观察特点。 * 讲完回到目录页 令r10= r4 r9 则最终得到NFA N: ? 1 6 4 5 3 2 a b ε ε ε ε 0 ε 7 ε ε ε 10 8 9 a b b 分解R的方法有很多种,下面给出另一种分解方式和所构成的NFA R=(a|b)*abb ? i y x (a|b)* abb (a) ? i y x ε abb j ε a b (c) ? i y x ε b j ε a b k l b a (d) R=(a|b)*abb ? i y x ε abb j ε (b) a|b （4）有穷自动机?正则式R 算法: 1)在M上加两个结点x,y,从x结点用ε弧到M的所 有初态,从M的所有终态用ε到y结点形成与M等 价的M’,M’只有一个初态x和一个终态y。 2)逐步消去M’中的所有结点,直至剩下x和y结点,在 消结过程中,逐步用正则式来记弧,其消结规则如 下: 1.对于 代之为 2.对于 代之为 3.对于 代之为 R1 R2 1 2 3 3 1 R1 R2 1 2 2 1 R2 R1 R2 R1| R1 R3 1 2 3 3 1 R1R2*R3 R2 例:M: 0 3 2 1 4 start a,b a,b a,b b b a a 解: (1)加x,y x 0 3 4 1 2 y ε ε ε a a,b a,b a,b a b b (2)消除M中的所有结点 a|b x 0 2 4 y ε ε ε aa bb a|b a|b x 0 y aa(a|b) * bb(a|b) * a|b ε 解: (1)加xy x 0 3 4 1 2 y ε ε ε a a,b a,b a,b a b b x y (a|b)*(aa|bb)(a|b)* （5）正则文法?正则式 利用以下转换规则,直至只剩下一个开始符号定义的产 生式,并且产生式的右部不含非终结符。 规则 规则1 规则2 规则3 文法产生式 正则式 A→xB,B→y A→xA|y A→x,A→y A=xy A=x*y A=x|y 例:有文法G[s] S→aA|a, A→aA|dA|a|d 于是: S=aA|a A=(aA|dA)|(a|d)?A=(a|d)A|(a|d) 由规则二: A=(a|d)*(a|d) 代入:S=a(a|d)*(a|d)|a 于是:S=a((a|d)*(a|d)|ε) 规则 规则1 规则2 规则3 文法产生式 正则式 A→xB,B→y A→xA|y A→x,A→y A=xy A=x*y A=x|y （6）正则式?正则文法 算法: 1) 对任何正则式r,选择一个非终结符S作为识别符号, 并产生产生式 S→r 2) 若x,y是正则式,对形为A→xy的产生式,重写为 A→xB B→y,其中B为新的非终结符,B∈V