3第三章 词法分析--自动机.pptVIP

正则表达式的运算符 | 表示或“ * 表示“闭包“—任意有限次（零次或多次）的自重复连接 . 表示“连接“,一般省略 运算优先级 “ * ”， 高于 “ .” ，高于 | 整数的状态转换图 从正规式出发构造状态转换图 连接 a b 或者 a | b 多次 a * 正规式(a|b)*(aa|bb) (a|b)*的状态转换图 正规式 ((0|1)*|(11)*) *的状态转换图 自动机：m个状态和n个输入字符对应的状态转换图: m个状态结点，弧上用字符标记 将NFA变换成DFA的过程（确定化） 闭包ε_CLOSURE(I) I是M’的状态集的子集，I的ε闭包ε_CLOSURE(I)为： (a)若q ? I，则q ? ε_CLOSURE(I)； (b)若q ? I，则从q 出发经任意条ε弧能到达的任何状态q’， q’? ε_CLOSURE(I)； 定义Ia = ε_CLOSURE(J), J是那些可从I中的某个状态结点出发经过一条a弧能到达的状态结点的全体。 将NFA变换成DFA的过程 （1）确定化 （用子集法） 假设?={a1,a2,a3,…,ak}，构造状态转换矩阵， 该表有k+1列，第一行第一列为ε_CLOSURE(X)， X是初态结点；如果某行第一列的状态子集为I，那么该行的第i+1