第二章词法2-DFA.ppt

第二章 词法分析2确定有限自动机DFA 确定有限自动机（DFA）的定义 DFA的两种表示方法 DFA接受的集合 DFA的确定性 用DFA描述单词 自动机的实现 有限自动机FA（Finite Automata )  有限自动机FA作为一种识别装置，它能准确识别正规集，即识别正规表达式所表示的语言，引入FA这个理论，正是为词法分析程序的自动构造寻找一种特殊的方法和工具。 确定有限自动机（DFA： Deterministic Finite Automata ) 非确定有限自动机（NFA： Nondeterministic Finite Automata ) 1 确定有限自动机的定义 确定有限自动机M为一个五元组: M = ( S ,? , S0 ,f ,Z )，其中： S是一个有穷状态集，它的每个元素称为一个状态； ?是一个有穷字母表，它的每个元素称为一个输入字符； S0?S，是唯一的一个初始状态(开始状态)； f是状态转换函数:S??? S，且单值函数.f(Si,a)=Sk 表示：当前状态为Si，遇输入字符a 时，自动机将唯一地转换到状态 Sk，称Sk为 Si的一个后继状态; Z?S，是终止状态集（可接受状态集、结束状态集），其中的每个元素称为终止状态（可接受状态、结束状态）,Z可空. 一个DFA的例子 DFA M=({S0, S1, S2, S3} , {a,b}, f , S0 , {S3}), 其中f 定义为： f (S0, a )=S1 f (S2, a )=S1 f (S0, b )=S2 f (S2, b )= S3 f (S1, a )= S3 f (S3, a )= S3 f (S1, b )= S2 f (S3, b )= S3 2 DFA的两种表示方式 a. 状态转换图 ：用有向图表示自动机 1. 结点表示状态： 1) 非终止状态由单圆圈围住的状态标识来表示; 2） 终止状态由双圆圈围住的状态标识来表示; 3） 开始状态由一个箭头指向的状态结点来表示. 2.状态转换函数用有向边来表示，若 f(Si,a)=Sk，则由表示Si的状态节点到表示Sk的状态节点发出一条标识为a的有向边. DFA M=( {S0, S1, S2, S3}, {a,b}, f, S0, {S3}), 其中 f 定义为： f (S0, a )=S1 f (S2, a )=S1 f (S0, b )=S2 f (S2, b )= S3 f (S1, a )= S3 f (S3, a )= S3 f (S1, b )= S2 f (S3, b )= S3 b. 状态转换矩阵：用二维数组描述DFA 转换矩阵的行表示确定有限自动机的状态; 标识初始状态和终止状态：一般约定，第一行表示开始状态S0 ，或在右上角标注“+”；右上角标有“*”或“-”的状态为终止状态 ； 转换矩阵的列表示确定有限自动机的输入字符； 矩阵元素表示确定有限自动机的状态转换函数. DFA M=( {S0, S1, S2, S3}, {a,b}, f, S0, {S3}), 其中 f 定义为： f (S0, a )=S1 f (S2, a )=S1 f (S0, b )=S2 f (S2, b )= S3 f (S1, a )= S3 f (S3, a )= S3 f (S1, b )= S2 f (S3, b )= S3 3 DFA接受的字符串 对于?中的任何字符串t,若存在一条从初始结点到某一终止结点的路径，且这条路上所有弧上的标记符连接成的字符串等于t,则称t可为DFA M所接受（识别）.注意路径中可以多次经过终止状态. 若DFA M的初始状态同时又是终止状态，则空字符串可为DFA M所接受（识别）. DFA M 所能接受的字符串的全体记为L(M).