第8讲语义算法浅析.pptVIP

第8 语义分析 ;1 属性和属性文法 属性：语言实体的特性，如变量的类型，表达式的值等 属性文法：用属性文法表示语义，也称作语法制导语义， 即语法规则中的语义。 设有语法（文法）规则X0?X1X2…Xn 每个文法符号有属性Xi.aj 存在语义规则： Xi.aj = fij(X0.a1,…,X0.ak, …, X1.al, …, Xn.a1, …Xn.ak) 对语法规则有相应的语义规则（属性文法表示）， ;例 1 无符号整数文法 Number ? number digit | digit Digit ? 0|1|2|3|4|5|6|7|8|9 语义属性: 数的值 (计作 val), 相应的属性文法如下:; 对于数345用分析树显示属性计算如下：;例 2 考虑如下算术表达式文法: Exp ? exp + term | exp-term | term Term ? term*factor | factor Factor ? (exp)| number 属性文法如下：;表达式(34-3)*42的属性计算;例 3 变量声明文法: Decl ? type var-list Type?int | float Var-list?id, var-list |id 属性为数据类型（计作dtype ）;串 float x,y 的属性计算:;例 4 数可以用八进制或十进制表示文法 Based-num ? num basechar Basechar ? o|d Num ? num digit | digit Digit ? 0|1|2|3|4|5|6|7|8|9 属性为 base 和 val;;;2 属性计算算法;例 求表达式3*（x+2）的数据类型;合成属性计算的后序遍历算法： Procedure PostEval (T :treenode) Begin  For each child C of T do PostEval(C); 计算T的所有合成属性;End (2) 继承属性 一个属性如果不是合成的，则称作继承属性 如例3文法 ;文法: decl ? type var-list type?int | float var-list?id, var-list |id 属性为数据类型（计作dtype ）;分析树 属性：dtype decl type var-list int id , var-list id , var-list id ;遍历算法：;语法树 ;3 符号表 声明变量时，把变量填入符号表（插入） 使用变量时，检查符号表确定此变量是否已声明(查找） 不再使用变量时，把变量从符号表中删除 通常采用Hash表做符号表 ;哈希函数：;设 α为2 size为5 变量i 其哈希函数值 h=105 mod 5=0 变量j 其哈希函数值 h=106 mod 5=1 变量size 其哈希函数值 h=(24-1*115+24-2*105+24-3*122+24-4*101) mod 5=(8*115+4*105+2*122+1*101)mod 5=1685 mod 5=0 变量temp h =2 变量i1 h =4 变量i2 h =0 变量j2 h =2;符号表结构定义 Typedef struct bucket {char * name; char * dtype; struct bucket * next; } bucket bucket * hashtable[size];4 类型推断和类型检查;P254 表6-10 类型推断和检查 ;操作系统由哪几部分组成，各部分的主要作用是什么？ 简述进程控制块的内容与作用？ 操作系统中进程的并发执行是如何提高资源利用率？ 举例说明短作业优先调度算法不利于长作业？ 当5个哲学家共享桌上的6只筷子时，就一定不会死锁. 为什么每个哲学家同时拿左右2根筷子，可防止发生死锁 在内存管理中为什么连续分配方式访问速度快，而不连续分配方式