第章自下而上的语法su电子教案

第5章自下而上的语法分析从叶结点出发，步步向上归约。若能归约到根结点，说明输入串是文法的一个句子，否则输入串存在语法错误。5.1自下而上的语法分析概述㈠概述实质上是一种移进归约法，设置一个栈，将输入串符号逐个移进栈内，一旦发现栈顶形成某个产生式的候选式时，立即将栈顶这一部分符号替换（归约）成该产生式的左部符号。例给定文法Ｇ：S→aAcBeA→b|AbB→d和输入串abbcde，其移进归约过程如下所示：蚊e跌d专B粪B惑b疑c辨c景c疼c介b少A拿A似A权A续A基A沈A萍a埋a蕉a凯a嘉a屠a朝a村a挣a鼠S移移归移归移移归移归①②③④⑤⑥⑦⑧⑨⑩因最终归约到根结点，输入串abbcde是文法的一个句子。㈡问题从第④步到第⑤步有二种选择，可将b归约成A，栈顶成aAA；也可将Ab归成A，栈顶成aA，显然后者是正确的，故需精确定义可归约串。㈢句柄和规范归约①短语②直接短语（简单短语）洞③决句柄制继续拉问题米的讨扶论。词句型抢aA赚b吹c透d四e中坚存在抹三个盈短语佩，它纵们是剪A章b它、赖d想和a袜A颠b奏c酒d疮e，你其中寨A柴b葡和候d名是直倒接短爸语，惧句柄世是A玻b抢。不飘能因乌为存武在规私则A离→说b，效就断记定盐b驱是这质个句捆型的财一个料短语侧，没b不业是句移柄，春甚至维连短炊语都仰不是轮。映④厅规范妇归约谈（最梦左归艘约）从⑤毒规范镜句型级⑥相规范凤推导变⑦嘴图解逝法打5访.2菠共LR胃分析贡法的撒基本革原理四㈠前质缀逆㈡活与前缀永㈢L轻R分纱析法艘的基得本思弱想林㈣余LR唱(0殿)迅项目合（简辅称项贼目）甲在产移生式陆右部趟的某开个位奴置添牢加一脆个园搜点陵“防.跃”攀。特虎例，提A剃→系ε仁的项键目为椅A近→独.漫。燥例文添法角S'潮→令E长E我→报aA紫A运→逃cA蜓A排→祸d艘E级→轿d租这个霉文法尘的项别目有eq\o\ac(○,志1牙)抽S'掘→敞.滩Eeq\o\ac(○,恼2膀)遮S'嘉→隐E武.eq\o\ac(○,梦3认)叠E救→童.丘aAeq\o\ac(○,歌4沾)保E钢→纺a饶.附Aeq\o\ac(○,才5术)硬E敞→帝aA线.eq\o\ac(○,定6喘)床A吼→浇.绪cAeq\o\ac(○,愈7焦)足A些→培c矿.内Aeq\o\ac(○,羊8杠)姓A背→续cA伤.eq\o\ac(○,纪9崖)窜A弓→律.伯deq\o\ac(○,装10尾)挎A慌→串d廉.eq\o\ac(○,倘11宽)中E唉→给.乎deq\o\ac(○,箭12歪)输E般→狸d愁.肤㈤构拳造识铃别活谈前缀打的N份FA球①劈将每蚊个项杀目视拍为识拘别活挣前缀仰NF牲A的意一个屋状态溉。唇②选规定暑状态至S'神→交.S点为N饱FA驳的唯任一初下态，胸状态鹊S'酒→乒S.求为N况FA抢的唯逗一接墓受态税（S步为原米文法怀开始节符号腥，皂S'江为拓岸广文团法开器始符侵号）王。叼③敏因在潮每个滋状态筛都可保识别狐出一御个活拣前缀挑（初遮态可仍识别宁出活摊前缀陆ε理），浮故N购FA诱的每责个状谎态都厕是终哈态，匙终态己又称旅为活休前缀义识别舞态。悦④射如果宁状态狂i分和状蒸态犯j政源自顶于同似一产银生式流，而量且状柄态环i汇和状驱态陷j洪的园住点位哲置相练差一属个文毁法符烟号，萍例状复态膊i奔为揪i:券X朝→烂X降1柏……赏X与i-屑1勾.X肺i泳X何i+款1康……交X羡n占状态第j久为晶j:史X混→搜X护1棒……质X拳i-饿1曾X滩i绵.X孩i+乱1决……习X化n批那么蚂状态籍i稍和值j祖之间股存在佣一条系弧，柿标记拢为X嘉i粮，表啄示在愿状态烟i执读入炉X魄i菠进入氏状态缝j。狱⑤浸若状里态仁i弯园点脂之后乖的符早号为殃非终慕结符辩（例剂i:凯X尿→性α塌.A倍β耳），旱那么削从状叠态夫i句画一霜条侦ε污弧到除所有梢k:规A叫→辣.γ先状态预。表饲示只对有看和到了各从蚀A覆推出碎的全属部符杯号，洪状态粮i:脊X吸→专α稼.A楚β圆才可梯经棉A浮弧进豆入状丸态爱j:支X衫→姥αA盆.β便。跑接上涝例，揉构造慌识别注文法会活前沈缀的造NF缘A，信如下绒所示倾：友傲踏拐酱感航侄妹胖εeq\o\ac(○,蝶6对)抬A射→迷.腰cA围泰勺eq\o\ac(○,饮7粘)截A忧→狮c挎.剪A茅恳蜡Aeq\o\ac(○,拌8危)倒A叉→负cA疗.窝台蹦道坡应栗梅袭蜘c同烛寸颤敏ε慎属εeq\o\ac(○,涨9侵)舞A崖→祸.锯d翅简歪列deq\o\ac(○,籍10典)碧A挎→舟d贴.怖狼雪筋粗焦池井磁茂药宵εeq\o\ac(○,狮3宴)苹E僚→咱.射aA叨喜赢aeq\o\ac(○,合4伴)队E母→测a莫.镇A弹诞闭Aeq\o\ac(○,呼5炉)炎E某→女aA挑.ε辆eq\o\ac(○,团1孤)映S'尘→亲.努E努感吓眨E羡珍eq\o\ac(○,闯2倾)仪S'财→吓E蚕.εeq\o\ac(○,慌11痰)厨E培→亮.疑d亿称介惨deq\o\ac(○,烛12蜘)箱E喉→景d暗.右其中eq\o\ac(○,决1亏)认称为盗初态盟（含蒙有S谊'晶→甘.E厨的项送目）乏，状乓态eq\o\ac(○,丛2凑)舞、eq\o\ac(○,山8册)祖、eq\o\ac(○,僚10推)治、eq\o\ac(○,疮5交)颂和eq\o\ac(○,宪12御)番称为成句柄碎识别政态（其含有羊形如斑A铜→惠γ胸.葵的项认目因），骡其中eq\o\ac(○,串2排)禁又称郊为接蔽受态阅（含匙有S劣'联→邪E.拨的项膜目）走。锯㈥构拍造识病别活狂前缀毁的D眠FA屯赌夺钱倒为睁搅5墨:哨子珠岔卖抢沙7闪:订抚ceq\o\ac(○,沸7沃)庸A坛→趣c数.牺A杠度执腾Aeq\o\ac(○,课8镇)肉A枣→景cA涂.eq\o\ac(○,海6苏)跑A挑→鸡.续cAeq\o\ac(○,绍9蝇)兆A社→哑.材d晶意残绝撑d虎箭暮6体:eq\o\ac(○,寺10暴)毛A猾→甩d京.违竿凭眉油旁房2毛:梁浪ceq\o\ac(○,伶4雕)岁E于→当a冤.起A揪膊寄d雪促出4蠢:eq\o\ac(○,姿6蔽)舌A阿→竭.蜘cA全哨洞饭A绪倡eq\o\ac(○,拒5制)倍E沃→呈aA翼.eq\o\ac(○,掩9壳)谈A米→星.天d尾堤剑0扛:稍刮钉抱耐aeq\o\ac(○,处1膛)游S'励→翅.闲E千疑寺郑陕1葬:忽eq\o\ac(○,购3傻)滚E演→末.捏aA锁棕踢E缓蚂eq\o\ac(○,芦2蚀)希S'游→上E校.eq\o\ac(○,粱11胞)曲E废→句.怖d砍终d也贸缴3日:eq\o\ac(○,柱12乐)扫E睁→斩d辰.享其中讨0是翼初态计，1善为接倡受态鞭，3等、4浸、6离和7恶是句携柄识蹈别态钥。侍㈦项粥目分块类诵㈧L阁R港(0毅)围项目虽集规败范族坡（简幕称项汤目集士规范险族）挡㈨活裙前缀慢识别碗工作查原理垮5.裁3项键目集洲规范征族的育构造躲㈠文丢法拓桃广缝㈡项老目集刚I篮的闭忽包（戒CL臭OS河UR蹦E(膨I)石）括㈢状怀态转腔换函陵数（柜GO侨(I臭,X伤)眠）颤㈣项请目集因规范圣族构稼造算份法挂5.眼5哨LR骆(0落)分钩析表纳的构强造帐㈠预泉备工宋作祝①价引入逮产生还式S裙'竭→集S，笛将文咽法拓传广成青G运'绘。谦②楚对G辽'脖的产崖生式初进行笔编号务。汽③蹄构造秘文法奶G由'愚的状苹态转衔换函廉数G妨O(骄I,佳X)钥和项电目集帖规范爱族C清。旷㈡构描造法杨设项则目集夕规范滤族C蠢={称I萝0神、I腐1删、龄……嗽I脑n耗}，碎将I今0屈、I拖1干、蹈……砌I没n承视为奖分析聪表状脆态0每、1奋、镰……灭n。飘LR框(0焦)沿分析疲表存交放在崭二维蹲数组忍M中趟，第堵一维谱为状因态，仗第二敢维为御文法找符号译。火①角若移律进项勿目A胳→α部.a涂β∈拼I此i球且G崭O(粮I惹i灭,a驴)=读I起j霞，其撕中a萍∈虹V蓬T读，则连置M鉴[桥i]片[滤a]掘=s坏j（天s互表示启移进陪）。赞②露若归基约项销目A狗→α庸.番∈瞒I郊i呀，对旱于任本何a码∈拍V净T塑∪伐{#慨}，妻置M抬[广i]调[嚷a]扔=布rk铃（脑k丹是产分生式阁A颜→α昂的编扰号，君r潮表示萍归约殖）。停③纠若接贞受项暴目S兼'评→腿S.新∈驻I休i您，则借置M蹄[浸i]往['扒#术'目]=屡Ac猫c（陡Ac欧c努表示典接受据）。抬④眼若待喇约项嘉目A蝴→α壶.B立β∈枪I届i翅且G楚O(才I角i旱,B险)=舟I铁j种，其仁中B劈∈垃V萄N嚷，则爬置M谷[攻i]粮[苍B]他=j场。借⑤病分析孟表中舰的空宅白表赤示出毫错。遗例已鼓知文关法G究E忘→悄aA霸|d堂A协→告cA轨|d捷河构造剪它的欲LR汽(0慢)分幼析表惭。兵解：拣①共预备祸工作衫1）认引入精产生总式S问'雷→缘E，密将文破法G罗拓广穷成G框'畅。介2）至产生裹式编想号如买下：徐S刃'柿→虏E蜻E僵→术aA竭E旧→丹d键A衔→秋cA致A碍→矩d蓝3）搅构造患上述骆文法如的状忽态转端换函身数G到O(销I,阵X)头和项可目集希规范爆族（盛见酸5.购3宜节）挡。取②狱构造减分析来表安5.指6拳树SL凭R(蔑1)难分析宣表的挎构造农㈠昌SL奔R(坑1班)挣分析绪法的番引出穿例简尖单算逼术表捉达式乒文法暖G疤'撑：畅S山'符→旬E件证优E思→贝E+福T唯陡E旅→梳T些押各T赴→伐T*鸣F事T饿→撒F坏F究→袖(E诚)图测F谋→碗i旬症耐它的问项目够集规眨范族层如下申图所使示：希项目保集规末范族刺共有即12锄个状奥态（宽I虑0潜-I奋11性），晶根据拥项目跪集规吹范族窜构造午LR灯(0兽)分剃析表宣，如丹下：窝因M参[2袖][虽'*详']斯=s泰7r注2故、M依[青9杯][化'*猴']径=s产7r晒1，汁分析炉表含圾多重赞定义赞，故狼上述帅分析奔表不笔是磨LR惠(0沫)乘分析想表。献㈡S吧LR朝(1再)分课析法条的基除本思闹想盈假定讽I属是项物目集玻规范自族的呆一个浇项目衰集抗I=瓣{X乓→α骨.b飘β仿，A天→α将.，酿B途→α坟.}焰若f课ol城lo涌w(车A)棉∩融fo决ll者ow胁(B欣)=拦{}狮、f长ol但lo楼w(真A)您∩片{b也}=坏{}术、f帽ol河lo躺w(机B)育∩战{b春}=协{}捎，则捡SL匠R(观1)泽分析概法处迅理如纤下：迈①岛若当锡前输咐入符笋号孩t.雄co芽de惯和b吉相等双，则条移进辉输入改符号箱。笼②吩若当还前输夸入符熟号妖t.处co透de竿∈告fo毯ll闭ow收(A毯)，菜则用例产生罢式A若→α臭进行俘归约题。适③肝若当柿前输幻入符永号贝t.炮co粪de渣∈障fo挎ll尤ow骑(B搂)，您则用筑产生盆式B添→α疫进行拼归约困。碑④岗此外仪报错较。乘㈢构秀造法扩SL泡R(锦1)践分析铺表的出构造前是在历LR戏(0呜)跳分析坐表基味础上浩进行志的，辨只要葱对右LR摇(0肚)栽分析棉表的窄构造转方法刮稍加年修改春，就内可获薪得S结LR册(哥1闪)火分析啦表的屈构造扎方法剖，修块改部递分如呀下所菜述：施㈠预腐备工畏作源①②膝③执④装计算轿非终庭结符锯的f漫ol伐lo枯w集君。暑㈡构默造法①慌②旗若归海约项抹目A眉→α群.侨∈浪I易i贪，对房于任种何a趁∈掩fo罪ll礼ow茎(A松)，斥置M宵[帐i]耍[盐a]转=抱rk胖（翠k易是产疏生式崭A渴→α票的编方号，好r反表示楚归约刚）。本③④进⑤辱接上湾例，播构造味G的宫SL式R(稍1)冬分析葬表。似解：刺①六预备纺工作激1）斤文法咸拓广疼（同车上）尚2）荐产生辛式编结号（驻同上帖）辫3）闻构造励状态青转换辱函数反GO颂(I高,X梦)和巾项目踪集规牛范族懒（同安上）武4）阻计算左非终蛮结符悄的f惩ol幸lo杰w集介华搁跨fo氏lo欣w(胡S'溪)=秧{#内}、畜fo忆lo漂w(郑E)笨={捡#,诉+,孟)}预、f粮ol痛ow糟(T拢)=绒{#魄,+相,)烧,*便}、独fo斯lo星w(醉F)氧={搞#,誓+,照),违*}网②排构造兄分析岂表粪5.川7敬以LR击语法栗分析储器的旦控制岔程序店㈠数馒据结尊构延①恋LR女分析置表姻②遭状态狡栈份③持符号纱栈惠④文产生沿式右肠部符仇号串特长度犹㈡手攀工模稍拟控预制程慧序计迁算数㈢算便法描太述签分析搏表用翻二维千数组浸M存拔储，散栈顶临状态训用S甜to侄p烂表示杏，当洗前输工入符轨号用勤t.企co懒de阀表示节，控森制程太序的赖算法蹲归纳鄙如下筐：扛①丢移进策若M房[S匹to兵p膊][够t.改co膀de额]=忙s渴j，望说明干句柄碗尚未骆形成恶，应炒执行蔑移进塑操作各。睛s霞表示赤移进科，j动为状不态号酸，将绑j移候入状序态栈括，将沸t.朱c益od那e来移入沟符号庭栈，恨j往成为泼新的拴栈顶绕状态介S爽to身p成。读燥下一钱个单郑词。袭②欧归约炮若M仿[S福to孩p话]孔[琴t.凶co闹de历]=粘r忘k门，说罩明句辈柄已代出现首在栈药顶，煤应该灿用编袭号为钞k盖的产拘生式师A妙→β邮进行示归约明。假庙设，咐LE胸N(顾β遥)=遇r，蚀M[喝S耕to约p居-哑r叛][旬A]蛙=砍j献。首册先将安栈顶私r个萌元素纸出栈乱，然热后将学j和粉A分幸别移桑入状野态栈对和符徒号栈哗，励j埋成为损新的童栈顶级状态早S民to术p仓。当辜前处愉理单唯词不冒变。御③逮接受微M[纸S跪to榴p盘]崖