程序分析技术第三讲元程序的设计.pptVIP

程序分析技术 第三讲： 元 程 序 设 计 一、基础知识 词法分析 基本概念 描述工具 正则表达式 自动机 实现词法分析器注意的问题 语法分析 形式语言 分析原来 自顶向下的语法分析 自底向上的语法分析 语法制导 分析的过程生成中间表示 二、元程序 元程序概念 处理程序的程序 元程序系统的组成： 预处理：把源程序变成一种中间表示（经过词法分析，语法分析） 元级操作：提供最基本的操作（根据需求，用户可选择如何操作） 后处理：有必要把中间表示转为源代码 三、中间表示 四元式: (op,a,b,t) 例 a*(b+c)+d (+,b,c,t1)，(*,a,t1,t2)，(+,t2,d,t3) 逆波兰式: 后缀式 上例 abc+*d+ 树 上例 + * d a + b c 四、规则分类和对应的结构 结构规则（构造规则） PA→ X1X2……Xn 选择规则 PA→ X1|X2|……|Xn 是结构规则的特例，因为每次只能用一个规则 A … X1 X2 Xn 表规则 P A→ E|E,A (也可左递归) 构造双向链表操作更方便 词汇规则 P A→ lex t1 A t2 ^ E1 t3 E2 t4 ^ E3 实例 while x0 do if y0 then x:=x+1 else y:=y+1 while if ‘c’ 0 ‘v’ y ‘c’ 0 then else := ‘v’ x ‘c’ 1 + ‘v’ x ‘v’ x 五、元级操作 低级元操作 类型识别操作 给结点的类型 判定结点是否为给定的类型 空结点定位 成份选择操作 选择某一结点（满足条件） 表元素的选择 构造操作 按某一结构构造结点。 关系操作 给定两结点，判断它们的关系。 给定结点和关系，判断是否存在结点。 编辑操作 插入，删除，查找，修改 词汇强制 高级元级操作 可根据特定的需要，构造许多特殊的高级操作。 如：控制流图，函数调用关系图等