[其它]第三章 词法分析2.pptVIP

编 译 原 理 Compiler Principles 南京邮电大学计算机学院 蒋凌云 jianglingyun@njupt.edu.cn 教材：《编译技术原理及其实现方法》王汝传 编著 第三章 词 法 分 析 §3.5正规文法和有穷自动机 一、用正规文法描述单词 二、由正规文法构造状态转换图 1.由右线性文法构造状态转换图 2.左线性文法和右线性文法之间的关系 三、有穷自动机FA 1.确定有穷自动机DFA 2.非确定有限自动机NFA 四、有穷自动机和正规文法的关系 1.两个定理 2.由正规文法构造有穷自动机（FA）M 3.由有穷自动机(FA)M构造正规文法(右线性文法） 五、DFA与NFA的关系 第三章 词 法 分 析 §3.5正规文法和有穷自动机 一、用正规文法描述单词 二、由正规文法构造状态转换图 1.由右线性文法构造状态转换图 2.左线性文法和右线性文法之间的关系 三、有穷自动机FA 1.确定有穷自动机DFA 2.非确定有限自动机NFA 四、有穷自动机和正规文法的关系 1.两个定理 2.由正规文法构造有穷自动机（FA）M 3.由有穷自动机(FA)M构造正规文法(右线性文法） 五、DFA与NFA的关系 §3.5正规文法和有穷自动机 三、有穷自动机FA 1.确定有穷自动机DFA 有穷自动机是对状态转换图进一步形式化描述，这对词法分析程序的构造，特别是对词法分析程序的自动生成将带来很大的方便。 Ｋ是状态有穷的非空集合，Ｋ中每一个元素是一个状态； ＶＴ是一个有穷输入字母表，ＶＴ中的每一个元素称为输入字符； Ｍ是Ｋ×ＶＴ到Ｋ的单值映射（或函数），即 Ｍ(q ,a)=p q ,p ∈K, a∈ＶＴ 它表示：当前状态为q，输入字符为a时，将转到下一状态p, p是q的 一个后继状态。由于映射是单值，所以称确定有穷自动机。 Ｓ为开始状态，是唯一一个初态Ｓ∈Ｋ； Ｚ是终止状态集合，Ｚ是Ｋ的子集。 有一条输入带，带子上有一个个单元，每个单元记录VT中一个字符， 带子向右无限延伸 有限状态控制器由状态集K中各种状态组成，形成有限控制器，初始状态为S 输入读头，在有限控制器作用下可依次读入符号，在状态S下读入符号a1，改变状态到P1，即 Ｍ（S,a1）＝P1 ； 在P1状态下再读入符号 a2，改变状态到P2， 即 Ｍ（P1,a2）＝P2，······ 在该识别过程中，状态的改变由有限控制器根据状态转换函数来决定。 一个用有穷自动机的原理对电梯运行控制的例子： ①乘客要求层号（即输入信号） ②电梯当前所处的层数及运动方向（即状态） ③状态的变化（即由当前的状态和信号到下一个状态） 例 设（ＤＦＡ）Ｍ＝（｛0,1,2,3｝，｛a,b｝,M,0,｛3｝）， 其中 Ｋ＝｛０，１，２，３｝ ＶＴ＝｛a,b｝ Ｍ∶ （状态转换函数） Ｍ（0, a）＝１ Ｍ（0, b）＝２ Ｍ（１,a）＝３ Ｍ（１,b）＝２ Ｍ（２,a）＝１ Ｍ（２,b）＝３ Ｍ（３,a）＝３ Ｍ（3,b）＝３ Ｓ＝０ Ｚ＝｛３｝ （3） （ＤＦＡ）Ｍ状态转换图及状态转换矩阵 1) 状态转换图 一个有穷自动机ＤＦＡ可唯一表示一张确定的状态转换图。假定一个 （ＤＦＡ）Ｍ有m个状态和n个输入字符，则它的状态转换图含有m个 状态结，每个结点最多有n条箭弧和别的状态结连接，每条弧用ＶＴ中 一个输入字符作标记，整个图含有唯一的一个初态和若干个终态结 。 为此我们可以作出上例的状态转换图，如下图 2) 状态转换矩阵 一个DFA还可以用一个转换矩阵来表示，矩阵的