第4章词法分析(6学时)调整版.pptVIP

第四章 词法分析 有穷自动机 FA： 是一个识别装置，用于识别“所有句子”。 引入FA的目的： 为词法分析程序的自动构造寻找特殊的方法和工具 类型： 确定的有穷自动机 DFA 不确定的有穷自动机 NFA FA ( Finite AutoMata ) ： 是一个识别装置，用于识别“所有句子”。 引入FA的目的： 为词法分析程序的自动构造寻找特殊的方法和工具 类型： 确定的有穷自动机 DFA 不确定的有穷自动机 NFA NFA ? DFA（子集法） DFA的化简（最小化 DFA） 确定的有穷自动机(DFA) 1. 定义：一个DFA是一个五元组 M=(K ,? ,f ,S ,Z ) K：有穷的状态集 ?：有穷的字母表（即输入字符的集合） f：转换函数 K×??K 上的映像 S：初态（初态唯一） Z：终态集（终态不唯一） 确定的有穷自动机(DFA) 2. DFA的“直观”表示： 状态图（状态转换图） 每个状态用结点表示 若f( Ki , a ) = Kj，则 初态用“=” 或 “-”标出 终态用双圈 或 “+”标出 矩阵 列标题：输出符号（VT） 行标题：状态 若f( Ki , a ) = Kj，则Ki和a的交汇处是 Kj 初态用“=” 标出 或 默认第一行（表格左端） 终态用“1”标出（表格右端） 非终态用“0”标出（表格右端） 确定的有穷自动机(DFA) 3. DFA可以接受的句子（符号串）： 若t∈?*，且存在f(S,t)= … = P，P∈终态集， 则t为该DFA可以接受的句子。 即：从初态S到某终态结点P的道路上，所有弧上的标记符连接而成字符串t，t为该DFA可以接受的句子。 确定的有穷自动机(DFA) 4. DFA的确定性： f: K×??K 是一个单值函数 即 对任何状态K，当输入字符a时，下一状态唯一。 上例的有穷状态机就是DFA DFA的行为模拟程序 DFA M=（K，Σ，f，S，Z）的行为模拟程序： K:=S； c:=getchar; while (ceof) { K:=f(K,c); c:=getchar; } if (K in Z) { return (‘yes’); } else { return (‘no’); } 示例： 一个识别标识符的确定的有穷状态机 DFA的化简（最小化DFA） 最小化DFA 没有多余状态(死状态) 没有两个状态是互相等价 DFA的化简（最小化DFA） 举例：消除多余状态 DFA的化简（最小化DFA） 解： 步骤一：消除多余状态 步骤二：使用分割法，合并等价状态。 不确定的有穷自动机(NFA) 1. 定义：一个NFA是一个五元组 M=(K ,? ,f ,S ,Z ) K：有穷的状态集 ?：有穷的字母表（即输入字符的集合） f：转换函数 K×?*?K+ 上的映像 （K+ 表示K的子集） S：初态集（初态不唯一） Z：终态集 不确定的有穷自动机(NFA) 2. NFA的“直观”表示： 状态图（状态转换图） 每个状态用结点表示 若f( Ki , a ) = Kj，则 初态用“=” 或 “-”标出 终态用双圈 或 “+”标出 矩阵 列标题：输出符号（VT） 行标题：状态 若f( Ki , a ) = Kj，则Ki和a的交汇处是 Kj 初态用“=” 标出 或 默认第一行（表格左端） 终态用“1”标出（表格右端） 非终态用“0”标出（表格右端） 不确定的有穷自动机(NFA) 3. NFA可以接受的句子（符号串）：(同DFA) 若t∈?*，且存在f(S,t)= … = P，P∈终态集， 则t为该NFA可以接受的句子。 不确定的有穷自动机(NFA) 4. NFA的不确定性： 对于状态K，当输入字符a时，下一状态不一定唯一。 5. NFA的确定化： 对每个NFA M’ 一定存在一个DFA M，使得L(M)=L(M) 即：对每个NFA M存在着与之等价的DFA M 。 注：与某一NFA等价的DFA不唯一。 NFA?DFA（子集法） （一）基本运算： 状态集合I的?闭包：表示为?-closure(I) 状态集I中的任何状态S经任意条?弧而能到达的状态的集合。 注：状态集I的任何状态S都属于?-closure(I) 状态集合I的a弧转换：表示为move(I,a) 定义为状态集合J，其中J是所有那些可从I的某一状态经过一条a弧而到达的状态的全体。 定义 Ia = ?-closure(J) 举例：参见P58 图4.4，求： ?-closure(0) move(0,a) move(0,b) ?-closure(1) move(2,a) move(2,b) … move({0,1,2,4,7},a