翻译程序：能够把某种语言转换成另一种语言，而后者与前者在逻辑上是等价的。编译过程：词法、语法、语义分析与中间代码、优化、目标代码生成词法分析：输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词。语法分析：在词法分析的基础上，根据语言的语法规则，把单词符号串分解成各类语法单位。语义分析与中间代码产生：对语义分析所识别出的各类语法范畴，分析其含义并进行初步翻译（产生中间代码）；优化：优化的任务在于对前段产生的中间代码进行加工变换，以期在最后阶段能产生出更为高效（省时间和空间）的目标代码。目标代码生成：把中间代码（或经优化处理之后）变换成特定存储器上的低级语言代码。编译程序结构：表格管理、出错处理编译前端：由与源语言有关但与目标语言无关的那些部分组成，包括词法分析、语义分析、语义分析与中间代码产生。后端：编译程序中与目标语言有关那些部分，优化与目标代码生成。后端不依赖于源语言而仅仅依赖于中间语言。词法规则是指单词符号的形成规则。语言的语法规则规定了如何从单词符号形成更大的结构（语法单位）。所谓一个语言的语义是指这样的一组规则，使用它可以定义一个程序的意义，这些规则称为语义规则。文法是描述语言的语法结构的形式规则上下文无关文法：是这样一种文法，它所定义的语法范畴是完全独立于这种范畴可能出现的环境。上下文无关文法组成：一组终结符号一组非终结符号，一个开始符号以及一组产生式。开始符号：是一个特殊的非终结符号，它代表所定义的语言中我们最终感兴趣的语法范畴，这个语法范畴通常称为“句子”产生式：是定义语法范畴的一种书写规则。二义性：如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。关键字、标识符、常数、运算符、界符含有左递归的文法将使自上而下的分析过程陷入无限循环。LL（1）分析条件:当一个文法不含左递归，并且满足每个非终结符的所有候选首符集两两不相交的条件LL（1）的含义:第一个L表示从左到右扫描输入串，第二个L表示最左推导，1表示分析时每一步只需向前查看一个符号自上而下分析的问题:文法含有左递归时，分析过程会陷入无限循环回溯浪费分析时间某一非终结符用某一候选式匹配成功时，可能是暂时的分析不成功时，难以找到出错位置自下而上分析的问题:怎样判断栈顶的符号串的可归约性，以及如何归约。一个句型的最左直接短语称为该句型的句柄。在形式语言中最右推导常被称为规范推导，由规范推导所得的句型称为规范句型，如果文法无二义的，那么规范推导（最右推导）的逆过程必是规范归约（最左归约）属性分为两类：综合属性，继承属性，综合属性用于“自下而上”传递信息，继承属性用于“自上而下”传递信息。在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）语义规则：文法每个产生式都配备了一组属性的计算规则。语法制导翻译：由源程序的语法结构所驱动的处理办法。输入串-语法树依赖图语义规则计算次序静态检查和中间代码产生的地位：-语法分析器-静态检查器中间代码产生器优化器属性文法:对于文法的每个产生式都配备了一组属性的计算规则，在上下文无关文法的基础上，为每个符号都配备了若干相关属性。中间语言形式：后缀式，三地址代码（包括三元式，四元式、间接三元式），DAG图表示后缀式表示法（逆法兰表示法）：把运算量（操作数）写在前面，把算符写在后面（后缀）四元式:（OPArg1Arg2Result）三元式:（OPArg1Arg2）EfEorME2：backpatch(E.F,M.quad);E.T=merge(E.T,E2.T)e.f=e2.fEfEandME2：backpatch(E1.T,M.quad)e.t=e2.tE.F=merge(E.F,E2.F)最左规约=规范规约：A最右推导=规范推导：Bb短语:每棵子树对应一个短语直接短语:只有两层的子树对应的短语句柄:最左直接短语ETEProcedureEBeginT;EEndEf+TE|ProcedureEIfsym=+thenBeginAdvanceT;EEndF-(E)|iProcedureFIfsym=ithenadvanceElseifsym=(thenBeginAdvanceEIfsym=)thenadvanceElseerrorEndElseerror翻译程序：能够把某种语言转换成另一种语言，而后者与前者在逻辑上是等价的。编译过程：词法、语法、语义分析与中间代码、优化、目标代码生成词法分析：输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词。语法分析：在词法分析的基础上，根据语言的语法规则，把单词符号串分解成各类语法单位。语义分析与中间代码产生：对语义分析所识别出的各类语法范畴，分析其含义并进行初步翻译（产生中间代码）；优化：优化的任务在于对前段产生的中间代码进行加工变换，以期在最后阶段能产生出更为高效（省时间和空间）的目标代码。目标代码生成：把中间代码（或经优化处理之后）变换成特定存储器上的低级语言代码。编译程序结构：表格管理、出错处理编译前端：由与源语言有关但与目标语言无关的那些部分组成，包括词法分析、语义分析、语义分析与中间代码产生。后端：编译程序中与目标语言有关那些部分，优化与目标代码生成。后端不依赖于源语言而仅仅依赖于中间语言。词法规则是指单词符号的形成规则。语言的语法规则规定了如何从单词符号形成更大的结构（语法单位）。所谓一个语言的语义是指这样的一组规则，使用它可以定义一个程序的意义，这些规则称为语义规则。文法是描述语言的语法结构的形式规则上下文无关文法：是这样一种文法，它所定义的语法范畴是完全独立于这种范畴可能出现的环境。上下文无关文法组成：一组终结符号一组非终结符号，一个开始符号以及一组产生式。开始符号：是一个特殊的非终结符号，它代表所定义的语言中我们最终感兴趣的语法范畴，这个语法范畴通常称为“句子”产生式：是定义语法范畴的一种书写规则。二义性：如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。关键字、标识符、常数、运算符、界符含有左递归的文法将使自上而下的分析过程陷入无限循环。LL（1）分析条件:当一个文法不含左递归，并且满足每个非终结符的所有候选首符集两两不相交的条件LL（1）的含义:第一个L表示从左到右扫描输入串，第二个L表示最左推导，1表示分析时每一步只需向前查看一个符号自上而下分析的问题:文法含有左递归时，分析过程会陷入无限循环回溯浪费分析时间某一非终结符用某一候选式匹配成功时，可能是暂时的分析不成功时，难以找到出错位置自下而上分析的问题:怎样判断栈顶的符号串的可归约性，以及如何归约。一个句型的最左直接短语称为该句型的句柄。在形式语言中最右推导常被称为规范推导，由规范推导所得的句型称为规范句型，如果文法无二义的，那么规范推导（最右推导）的逆过程必是规范归约（最左归约）属性分为两类：综合属性，继承属性，综合属性用于“自下而上”传递信息，继承属性用于“自上而下”传递信息。在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）语义规则：文法每个产生式都配备了一组属性的计算规则。语法制导翻译：由源程序的语法结构所驱动的处理办法。输入串-语法树依赖图语义规则计算次序静态检查和中间代码产生的地位：-语法分析器-静态检查器中间代码产生器优化器属性文法:对于文法的每个产生式都配备了一组属性的计算规则，在上下文无关文法的基础上，为每个符号都配备了若干相关属性。中间语言形式：后缀式，三地址代码（包括三元式，四元式、间接三元式），DAG图表示后缀式表示法（逆法兰表示法）：把运算量（操作数）写在前面，把算符写在后面（后缀）四元式:（OPArg1Arg2Result）三元式:(OPArg1Arg2)EfEorME2：backpatch(E.F,M.quad);E.T=merge(E.T,E2.T)e.f=e2.fEfEandME2：backpatch(E1.T,M.quad)e.t=e2.tE.F=merge(E.F,E2.F)最左规约=规范规约：A最右推导=规范推导：B短语:每棵子树对应一个短语直接短语:只有两层的子树对应的短语句柄:最左直接短语ETEProcedureEBeginT;EEndEf+TE|ProcedureEIfsym=+thenBeginAdvanceT;EEndF-(E)|iProcedureFIfsym=ithenadvanceElseifsym=(thenBeginAdvanceEIfsym=)thenadvanceElseerrorEndElseerror