大连理工大学编译技术总复习分解.ppt

* * * * * * * * * * * * * * * * * * * * * * 比较手工构造的NFA和用教材上语法制导的算法构造的NFA。鼓励学生写出引入尽可能少的? 转换的语法制导的算法，在将来的解题中使用这个算法。 * 《编译原理习题精选》1.5题。 * * * * * * * * * * * * * 在FRIST(T?)中，+, )和$在FOLLOW (T?) 中。 * * 在FRIST(T?)中，+, )和$在FOLLOW (T?) 中。 * * * * * * * * * * * * * * * 7.2 声 明 语 句 7.2.1 过程中的声明 计算被声明名字的类型和相对地址 P ? {offset := 0} D S D ? D ; D D ? id : T {enter ( id.name, T.type, offset); offset := offset + T.width } T ? integer {T.type := integer; T.width := 4 } T? real {T.type := real; T.width := 8 } T? array [ num ] of T1 {T.type := array (num.val, T1.type); T.width := num.val ? T1.width} T? ?T1 {T.type := pointer (T1.type); T.width := 4 } * 7.2 声 明 语 句 exchange readarray x a 表 头 空 sort quicksort 指向readarray partition v k 表 头 quicksort readarrary i 表 头 exchange 表 头 指向exchange partition program sort(input,output) var a:array[0..10] of integer; x:integer; prcedure readarray; procedure exchange(i,j:integer); procedure quicksort(m,n:integer) var k,v:integer; 22/32 * 7.2 声 明 语 句 7.2.2 作用域信息的保存 所讨论语言的文法 P ? D S D ? D ; D | id : T | proc id ; D ; S 语义动作用到的函数 mktable(previous) enter(table, name, type, offset) addwidth(table, width) enterproc(table, name, newtable) exchange readarray x a 表 头 空 sort quicksort readarrary i 表 头 mktable(↑sort) enter(table, name, type, offset) enterproc(↑sort,readarray,↑readarray) * 7.2 声 明 语 句 P ? M D S {addwidth (top (tblptr), top (offset) ); pop(tblptr); pop (offset) } M ? ? {t := mktable (nil); push(t, tblprt); push (0, offset) } D ? D1 ; D2 D ? proc id ; N D1; S {t := top(tblptr); addwidth(t, top(offset) ); pop(tblptr); pop(offset); enterproc(top(tblptr), id.name, t) } D?id : T {enter(top(tblptr), id.name, T.type, top(offset)); top(offset) := top(offset) + T.width } N ? ? {t := mktable(top(tblptr) ); push(t, tblptr); push(0, offset) } * 8.2 目 标 机 器 地址模式和它们的汇编语言形式及附加代价 地址模式 汇编语言形式 地址 附加代价 绝对地址 M M 1 寄存器 R R