编译原理第九讲重点.ppt

证 ? 对正规表达式r的运算数目作归纳。设r具有零个运算，则或r=?或r= ?或r=a? ? * Compiler Construction Principles * Formal Languages and Automata 正规表达式与有穷自动机的等价性 定理 设r是?上一个正规表达式，则存在一个NFA m接受L( r )。 对于?上任一NFA m，能构造?上一个正规表达式r，使得L( r )=L(m)。 把转换图的概念拓广，每条弧上可以用一个正规式标记。首先，在m的转换图上加进x,y两个结。从x用?弧连接到m的所有初态结点，从m的所有接受态结点用?弧连接到y，从而构成一个新的NFA m’，L(m)=L(m’)。 下面，逐步消去NFA m’中的状态结点，直至剩下x,y为止。在消结的过程中，逐步用正规式标记弧。消结的过程是直观的，只需反复使用下面的替换规则。 a b c a c a c a c a b c a c r1 r2 r2 r2 r1 r1 r3 r1r2 r1?r2 r1r2*r3 替换规则 代之以 代之以 代之以 q0 q0 q1 q0 q1 a r=? r= ? r=a 设结论对少于i(i?1)个运算的正规表达式r成立。当r有i个运算时，有三种情况： 情况1 r=r1?r2 情况2 r=r1r2 情况3 r=