编译原理—chapter2素材.ppt

* * * * * * * 比较手工构造的NFA和用教材上语法制导的算法构造的NFA。鼓励学生写出引入尽可能少的? 转换的语法制导的算法，在将来的解题中使用这个算法。 * * 1972年贝尔实验室 Unix 实现 Unix/Linux .out same as .exe in windows * * * * * * * * * * * 《编译原理习题精选》1.3。 * 《编译原理习题精选》1.3。 * 《编译原理习题精选》1.3。 * 《编译原理习题精选》1.3。 * 《编译原理习题精选》1.3。 * * * 关键字、操作符、标志符、常量、文字串和标点符号，或；或（）等 * 保留字: 系统留用(可能永远也不会用, 但是你不能用) 关键字: 系统规定有特殊意义的词 关键字, 一定是保留字。C/C++两者一样。Java不一样。 PASCAL中,保留字分为6种共36个: (1)程序、函数、过程符号 program,function,procedure (2)说明部分专用定义符号 array,const,file,label,of packed,record,set,type,var （3）语句专用符号 case,do,downto,else,for,forward,goto,if,repeat,then,to until,while,with (4)运算符号 and,div,in,mod ,not,or （5）分隔符号 begin，end (6)空指针常量 nil 标识符分为两大类： （1）标准标识符（pascal中可直接使用） 标准常量：false,true,maxint. 标准类型：integer,real,char,boolean,text 标准文件：input,output 标准函数：abs绝对值,arctan反正切函数,chr字符,cos余弦,eof不清楚,eoln不清楚,exp指数,ln对数,odd奇数函数,ord序数，pred前趋,sin不用说吧这个,sqr平方,sqrt算术平方根,succ后继,trunc截尾 标准过程：get,new,pack,page,put,read,readln,reset,rewrite,unpack,write,writeln * * * * * 闭包运算—最高优先级，左结合 连接运算—次高优先级，左结合 选择运算—最低优先级，左结合 * * * * * * * * * * * * * * 《编译原理习题精选》1.5题。 * 从转换表构造转换图。 * 将前面的DFA和现在的DFA进行比较，引出DFA化简问题。 * 将前面的DFA和现在的DFA进行比较，引出DFA化简问题。 * * * * * * * * 2.4 从正规式到有限自动机 构造识别主算符为闭包的正规式的NFA N (s) f 开始 识别正规式s* 的NFA i ? ? ? ? 2.4 从正规式到有限自动机 对于加括号的正规式(s)，使用N(s)本身作为它的NFA。 2.4 从正规式到有限自动机 本方法产生的NFA有下列性质: N(r)的状态数最多是r中符号和算符总数的两倍 N(r)只有一个开始状态和一个接受状态，接受状态没有向外的转换 N(r)的每个状态有一个用?的符号标记的指向其它结点的转换，或者最多两个指向其它结点的?转换 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 2.4 从正规式到有限自动机 1 9 开始 ? 0 ? a b 6 7 8 a b 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 2.4 从正规式到有限自动机 ? 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 2.4 从正规式到有