编译原理复习要点.docxVIP

翻译：有程这序样它的把一用个汇程序， 其放入; 符号表 初始一个初始状态 编语言或高级语言编写的程序变换标成识等：查符找使符用号表检查表记符能否 状态始状态会合 有声如明果则；是取，出表记符的属性进 价的机我器们语把言这程种序执，行变换 功能的程序统称为翻译程序。 行语义剖析；假如不是，则未申明错； 边不同意同意 序。 {S1, 属;建性立被申明;检标查识符的内部表示 编译输程入序称对的为象输源出程对序，f(S,a) 重复声将明被错声误明表记符的内部表 象称为目标程序。 Sn}⊥or 符号表 Sor 示插入; 编译程序支持两的个源程序的履行分为中间代：码语生法成制方导法的翻译方 实现简单有不确立 阶：段编译阶段，运转阶段。 法：属性,基文Token于法序和动作文法 自顶向下语：是法从分文析法主的要思想 开始符试号图出为发输，入串成立一个最 左推到，或许为输入串结构一个语法树。 自顶向下：对语任法意分非析终条极件符 A，A的随意predict(A两→条k)产生式 目标程序的运转而predict(A开→发j)=，的kj程序。为其分派的局存部空间的一种一致结构。 不满LL(1)文足法条：件文的法情的形产 生式存在左递归或公共前缀。 递归降落：对语文法的中做每法个非终 极U符都编写一个子程过序程，返以回完的成时该候非开释。 终极符所对应的语法成分的剖析和辨别 任务。 暂时变量 词法：分扫析描ASCII码程序列的，某识个非终极符：的语法剖析子程序的功能 局部变量 别出一个个拥有独立意义的最小语法单 位，并把ASCII码每序个列单替词配换的输为入串。 形参 返回 所谓token形的式。 递归下：程降序法结优构点和层次清楚明 语法根分据析程：序设计语言的语法例 返回地点 则把，词法剖析的结果分解陈各样语法单 控制信息 位，同时检查程序制中太频的严繁语风格法，分用错析子误效程。率动序低态：，链如AR果是每等个长sp的则用 语义：对分语析法剖析所辨别出的各种语 减去这个长度就能够了，但实质上每个 法范分畴析，并其进含行义静，态描语输采义入用检串最，左数推字导AR分的析长句度子所不。以一AR在定中每相个同， 查。 要保留AR的其始前地一址个，于是栈上 的AR被连起来了AR结，这样连起来的 构称之为动向链。 示形式叫做中间代码 目标代码:给生变为量器分主配要任务 中间优代对化码前：阶段产生对的于中一间个最代非多码终只极有符实一来际个,寄讲地空存址,生器成分AR的管配指理 , 令和其余指令。 寄存器分：寄配存应器遵优循先的原则 使生成的缩代短码运更行高时效间，或节 省储存空间。 则：即变量的值尽可能的寄存在寄存器 中寄。存器即活变跃量原的则值：起码有 下一次的引寄用存时器才多分派寄存器。 表格：编管译理程序在对源程序的剖析过 载原即则一：个寄存器中可能寄存多个变 量的典值型。的例子是经过赋值操作的结 果源。变量和被赋值的变量共用一个寄存 进展状况。 器 错误：一处个理编译程序不单 对书写正 表达式四元式生成算法 确的程而序且进能行对翻出译一现，个在非;直源终到程极归符约成文(1)初法始:的S1和化S2为开;空始符 序中的错误进行处或剪发。现语法错误 (2)读token:tk=ReadOne( ); 文：是法用有限的规则规表范：示推最无导右穷推字导符串(3)集Switchtkof 的一种方法 规范：句最型右推导导出(i)的#:句为)if型空exit;(S1 规范若前有缀规αη，范且是句终型else 不while)为空(S1 {op=pop(S1);(a,b)=pop(2);t= 有形→，式此中TN NewTemp(dir); V)* GenIR(op,b,a,t);push(S2,t); } (ii)操:作push(tk,数S2);goto(2); (iii)操作:if为符(S1||空优tk先级大 ||(S是开,S→始除符且外S不，出现前并缀且，句柄则在称α活的前最右端， 于Top(S1)) {push(tk,S1);goto(2);} 2型文:也法称为上下文无方关法文主：从法要左。思至它想右是读入输入串 LR ; else 小{while于Top(S1)等于tk 1型文法的特例:A→。其每产次生找(归式到约具句规)来有柄范进形活行式前缀 不S1))为空 是一个.非终极符误; {op=pop(S1);(a,b)=pop(2);t= NewTemp(dir); 3型文:也法称为正2型则文法。它是项带目圆点圆的点产只生能式出 法的其特产例生。式的右部至多有两个符 号而，且拥有:A下→a，面A形式之一 } →a其B,A,BV中， 里的内容来,非确常定容可归约活前缀 文法描O型述文1能型法力文2法易产生文冲法突易于产}生矛盾的原 型文型法3文法 因在于在确立剖