编译原理概念全

翻译程序能够把某种语言转换成另一种两不相交的条件E.F=mergeEi.F,E

2.F最左语言，而后者与前者在逻辑上是等价的LL

（1）的含义:第一个L表示从左到右扫描规约=规范规约:A最右推导=规范推导:B编译过程词法、语法、语义分析与中间输入串，第二个L表示最左推导,1表示分0-^5—0^0^-0代码、优化、目标代码生成词法分析输析时每一步只需向前查看一个符号a入源程序，对构成源程序的字符串进行扫自上而下分析的问题:

①文法含有左递归时，描和分解，识别出一个个单词分析过程会陷入无限循环

②回溯浪费分析b b语法分析在词法分析的基础上，根据语时间

③某一非终结符用某一候选式匹配成

①◎b*—-言的语法规则，把单词符号串分解成各类功时，可能是暂时的

④分析不成功时，难短语:每棵子树对应一个短语直接短语:只语法单位以找到出错位置有两层的子树对应的短语句柄:最左直接短语义分析与中间代码产生对语义分析所自下而上分析的问题:怎样判断栈顶的符号语识别出的各类语法范畴，分析其含义并进串的可归约性，以及如何归约E—TE行初步翻译（产生中间代码）；优化优一个句型的最左直接短语称为该句型的句Procedure EBegin化的任务在于对前段产生的中间代码进行柄T;E9加工变换，以期在最后阶段能产生出更为在形式语言中最右推导常被称为规范推导，End高效（省时间和空间）的目标代码由规范推导所得的句型称为规范句型，如目标代码生成把中间代码（或经优化处果文法无二义的，那么规范推导（最右推E+TE1£一理之后）变换成特定存储器上的低级语言导）的逆过程必是规范归约Procedure EIf sym=+then代码（最左归约）Begin编译程序结构表格管理、出错处理编译属性分为两类综合属性，继承属性,综合Advance T;E前端由与源语言有关但与目标语言无关属性用于“自下而上”传递信息，继承属End的那些部分组成，包括词法分析、语义分性用于“自上而下”传递信息F-E|i析、语义分析与中间代码产生在上下文无关文法的基础上，为每个文法Procedure F后端编译程序中与目标语言有关那些部符号（终结符或非终结符）配备若干相关If sym=i then advanceElse ifsym=then分，优化与目标代码生成后端不依赖于的“值”（称为属性）Begin源语言而仅仅依赖于中间语言词法规则语义规则文法每个产生式都配备了一组Advance E是指单词符号的形成规则语言的语法规属性的计算规则Ifsym=^^thenadvanceElseerror则规定了如何从单词符号形成更大的结构语法制导翻译由源程序的语法结构所驱End（语法单位）动的处理办法Else error所谓一个语言的语义是指这样的一组规则，输入串一一语法树——依赖图——语义规使用它可以定义一个程序的意义,这些规则则计算次序称为语义规则文法是描述语言的语法结静态检查和中间代码产生的地位构的形式规则—语法分析器--静态检查器——中间代码上下文无关文法是这样一种文法，它所产生器——优化器——定义的语法范畴是完全独立于这种范畴可属性文法:对于文法的每个产生式都配备了能出现的环境一组属性的计算规则，在上下文无关文法上下文无关文法组成一组终结符号一组的基础上，为每个符号都配备了若干相关非终结符号，一个开始符号以及一组产生属性式中间语言形式后缀式，三地址代码（包开始符号是一个特殊的非终结符号,它代括三元式，四元式、间接三元式），表所定义的语言中我们最终感兴趣的语法DAG图表示范畴，这个语法范畴通常称为后缀式表示法（逆法兰表示法）把运算“句子”量（操作数）写在前面，把算符写在后面产生式是定义语法范畴的一种书写规则（后缀）二义性如果一个文法存在某个句子对应四元式:（0P ArglArg2Result）两棵不同的语法树，则称这个文法是二义三元式:（OP ArglArg2）的Ef Eior ME2backpatchEi.F,M.quad;关键字、标识符、常数、运算符、界符含E.T=mergeEi・T,E

2.T有左递归的文法将使自上而下的分析过程E.F=E.F2陷入无限循环Ef EIand ME2backpatchEi.T,M.quadLL

（1）分析条件:当一个文法不含左递归,并E.T=E

2.T且满足每个非终结符的所有候选首符集两。