[工学]北航编译原理课件 03词法分析.pptVIP

文法：1. 标识符::= 字母 | 标识符字母 | 标识符数字 2. 无符号整数::=数字 | 无符号整数数字 3. 单字符分界符::= : | + | * | , | ( | ) 4. 双字符分界符::= 冒号= 5. 冒号::= : 补充 例:给出如图NFA等价的正则文法G A B C D start a a a b b b b G=（{A，B，C，D}，{a，b}，P，A） 其中P: A aB A bD B bC C aA C bD C ε D aB D bD D ε → → → → → → → → → NFA的形式定义为: 一个非确定的有穷自动机NFA M’是一个五元式: NFA M’=(S, Σ∪{ε}, δ, s0, Z) 其中 S—有穷状态集 Σ∪{ε}—输入符号加上ε, 即自动机的每个结点所射出的弧可以是Σ中的一个字符或是ε s0—初态 s0 ∈S Z—终态集 Z?S δ—转换函数 S×Σ∪{ε} →2S (2S --S的幂集—S的子集构成的集合） NFA M’所接受的语言为: L(M’)={α|δ(S0,α)=S’ S’∩Z≠Φ} 例： NFA M’=({1,2,3,4},{a,b,c} ∪{ε},δ,1,{4}) 符号 状态 ε a b c 1 {4} {2，3} Φ Φ 2 Φ {2} {4} Φ 3 Φ Φ Φ {3，4} 4 Φ Φ Φ Φ 上例题相应的状态图为： 1 2 3 4 start a b a c a c ε M’所接受的语言（用正则表达式） R=aa*b|ac*c|ε 3.5.4 NFA的确定化 已证明：不确定的有穷自动机与确定的有穷自动机从功能上来说是等价的，也就是说能够从： NFA M’ DFA M 构造成一个 使得 L(M)=L(M’) 定义1、集合I的ε-闭包： 令I是一个状态集的子集，定义ε-closure（I）为： 1）若s∈I，则s∈ε-closure（I）； 2）若s∈I，则从s出发经过任意条ε弧能够到达的任何 状态都属于ε-closure（I）。 状态集ε-closure（I）称为I的ε-闭包。 可以通过一例子来说明状态子集的ε-闭包的构造方法 为了使得NFA确定化，首先给出两个定义： 例： 如图所示的状态图： 令I={1}， 求ε-closure（I）=？ 1 5 6 4 3 2 a ε a a ε 根据定义： ε-closure（I）= {1，3} 同样可以通过一例子来说明上述定义,仍采用前面给定的状态图为例 -- J是从状态子集I中的每个状态出发,经过标记为a的弧而 达到的状态集合。 -- Ia是状态子集,其元素为J中的状态,加上从J中每一个 状态出发通过ε弧到达的状态。 定义2: 令I是NFA M’的状态集的一个子集, a∈Σ 定义: Ia=ε-closure(J) 其中J = ∪δ(s,a) S∈I 例：令 I={1} Ia =ε-closure(J) =ε-closure(δ（1，a）） =ε-closure({2，4}） ={2，4，6} 根据定义1，2，可以将上述的M’确定化（即可构造出状态 转换矩阵） 例：有NFA M’