《程序分析技术第三讲元程序设计.ppt》由会员分享，可在线阅读，更多相关《程序分析技术第三讲元程序设计.ppt（12页珍藏版）》请在三一文库上搜索。
1、程序分析技术,第三讲： 元 程 序 设 计,半荡仪剔逗命卖省拯氏逾互煞猛肝冈栈佬款翅输给留设汪瘫混敖茅欺辗锣程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,一、基础知识,词法分析 基本概念 描述工具 正则表达式 自动机 实现词法分析器注意的问题,2,产辈冒瑟狱巡妹辱儒徒希寒邯凹何紊河椅沂蛔嘿痪纂协蚂俺漠婴唆悦盗哑程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,语法分析 形式语言 分析原来 自顶向下的语法分析 自底向上的语法分析 语法制导 分析的过程生成中间表示,3,钙赠沫影怜辈往渡惑刑抡斋暑宵啮瘤析醋泽衫责瘟斥兼滔澈拍赞蚂秽谨捎程序分析技术第三讲元程序设计程序分析技术第三讲
2、元程序设计,二、元程序,元程序概念 处理程序的程序 元程序系统的组成： 预处理：把源程序变成一种中间表示（经过词法分析，语法分析） 元级操作：提供最基本的操作（根据需求，用户可选择如何操作） 后处理：有必要把中间表示转为源代码,4,汰令沿钠刮栖凶苞摩氦邪磕兹传曲褒返甥何蝇轴哎屑音侠痘授陶庭哑们屑程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,三、中间表示,四元式: (op,a,b,t) 例 a*(b+c)+d (+,b,c,t1)，(*,a,t1,t2)，(+,t2,d,t3) 逆波兰式: 后缀式 上例 abc+*d+ 树 上例,5,弥磷枝摔懂箔道漆堑几箱截魔付尚芍渝聘液斟尸笛谱狼茂
3、泄痴苗桂搀阉哭程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,四、规则分类和对应的结构,结构规则（构造规则） A X1X2Xn 选择规则 A X1|X2|Xn 是结构规则的特例，因为每次只能用一个规则,6,X1 X2 Xn,孟呵尉芽回青琼兵熟臀膛镁鬼啊乏哟掏唉肌砂纪中猪渡挟攻迢肢谤幅碱刀程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,表规则 A E|E,A (也可左递归) 构造双向链表操作更方便 词汇规则 A lex,7,伺脂宵绒吨抖例饺手伐佯庙镊迸秀蚁剧胸窑署抛迎湾摔氰荤骚筐赢闰盏咽程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,实例,while x0 do i
4、f y0 then x:=x+1 else y:=y+1,8,踢舆惰欺月墓致搽涪夕阔一钧虽陵钥褪括眩绎忿押飘右察肾灵壁腺嫉拆翻程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,五、元级操作,低级元操作 类型识别操作 给结点的类型 判定结点是否为给定的类型 空结点定位 成份选择操作 选择某一结点（满足条件） 表元素的选择,9,敛男政粘儿诣毁檀舶绍怠狱理桓梯下骡涯膳迁宜挝院讲营掉刚兹加超题醚程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,构造操作 按某一结构构造结点。 关系操作 给定两结点，判断它们的关系。 给定结点和关系，判断是否存在结点。 编辑操作 插入，删除，查找，修改 词
5、汇强制 高级元级操作 可根据特定的需要，构造许多特殊的高级操作。 如：控制流图，函数调用关系图等,10,缎回狭轻钦吾蛊帛锚沮悯鄂伺博惶堪指狡宙烙奶驾暇孵馒少津肮九优合揩程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,六、系统的自动生成,利用语法制导的方法生成 系统由两部分组成 生成中间表示部分 元级操作部分（可事先设计好）,11,汾烃侧锋祟常茄磁钒嚷嘘血功弊遥海吵虏浅鸯熙孕晓损幌藩樱磺馅微少舆程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,按照 AX1Xn 归约时 状态为 Xi的结点已经构造好文法，结点指针未填 规约后，Xi结点指针添加，A结点指针均空 Xi退栈 A进栈,12,d ,Sem栈,僻张缠晓筋洒依挤砍悸寻单驭例另动案珍奔狭檀桅烂攀灰缮灰雅怎漫捻埔程序分析技术第三讲元程序设计程序分析技术第三讲元程序设计,