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

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