南京师范大学计算机科学与技术学院编译原理课件第三章 词法分析（二）.ppt

南京师范大学 杨明 教授 3.2.2.3 FA在计算机内的表示 1.矩阵表示： 3.2.2.3 FA在计算机内的表示 2.表结构表示：见表2格式。 3.2.3 非确定有穷状态自动机NFA 例1. Z::=Za|Aa|Bb A::=Ba|Za|a B::=Ab|Ba|b 图2是不确定的FA?产生不确定的原因是什么？ 3.2.3 非确定有穷自动机 定义：一个非确定的有穷状态自动机NFA是五元组 ，其中： K是有穷非空的状态集合； 是有穷非空的输入字母表； M是从 的子集所组成集合的映像； S是非空的开始状态集合，S K; F是非空的终止状态集合，F K。 与DFA的区别：NFA可以有若干开始状态，DFA仅由一个；NFA的M是从 的子集所组成集合的映像，而不是到K的映像。 3.2.3 非确定有穷自动机 运行NFA M(M(S,tx))=M(M(S,t),X)!!! 扩充的M如下： 3.2.3 非确定有穷自动机—句子设别举例 如：对图2所示的非确定有限自动机，对于输入字符串t=babbabb。 步骤 当前状态 输入的其余部分 可能的后继 选择 1 S babbabb B B 2 B abbabb A,B A 3 A bbabb B B 4 B babb Z Z 5 Z abb A,Z Z 6 A bb B B 7 B b Z Z 3.2.3 非确定有穷自动机—结论 结论：从任一正则文法G出发，能够构造出状态转换图及其NFA，此NFA能接受G的任一句子；反之，对任一NFA，能找到一个正则文法G，使得G的句子正是该NFA所能接受的那些字符串。 问：1）NFA的不足是什么？ 2）NFA的不足对设计词法分析程序有何影响？ 3）有何改进方法？ 3.2.3 NFA?DFA 思路（借用等价类的思想）如下： 对于一个NFA，若M(R,T)={Q1,Q2,…,Qn},则将{Q1,Q2,…,Qn}看成一个状态；从开始状态出发，逐步构造新的状态，直到不再产生新的状态为止。 定理3.6 设N= 是一个NFA，它所接受的字 3.2.3 NFA?DFA的实例 如：对图2所示的NFA, 对应的DFA N1={K1,{a,b}, M1,[S],F1},其中， K1={[A],[B],[S],[Z],[AB],[AS], [AZ],[BS],[BZ],[SZ],[ABS], [ABZ],[ASZ],[BSZ],[ABSZ]}; F1={ [Z],[AZ],[BZ],[SZ],[ABZ], [ASZ],[BSZ],[ABSZ]}; M1:M1([A],a)=[Z] … M1([AB],a)=[ABZ]… …. 问： K1中所有的状态均有用吗？ 实例中哪些状态没有用？ 如何直接得到有用的状态？ 3.2.3 NFA?DFA的构造算法 步骤： 1）把一切开始状态S1,S2,