1.什么是编译程序？
如果源语言是高级语言，目标语言是诸如汇编语言或机器语言之类的低级语言，那么这样的翻译程序为编译程序。
编译过程的5个阶段是什么？
词法分析 语法分析 语义及中间代码生成 代码优化 目标代码生成
请给出编译程序的结构框图
字母表：元素的非空有穷集和
符号：字母表中的元素称为符号
符号串：符号的有穷序列称为符号串
句子：S经0步到多步推导出x且x属于VT*，则x是该文法的一个句子。句子是一种句型
语言：文法G[S]产生的所有句子的集合称为文法G所定义的语言，记为L（G[S]）
上下文无关文法：若文法G=（VN，VT，P，S）中的每一条规则形式为A->β，其中A∈VN,
β∈(VN∪VT)*,则称为G是上下文无关文法。
右线性文法：若文法G=（VN，VT，P，S）中的每一条规则形式为A->aB或A->a,
其中A,B∈VN，a∈VT*，则称G是右线性文法。
右线性文法：若文法G=（VN，VT，P，S）中的每一条规则形式为A->Ba或A->a,
其中A,B∈VN，a∈VT*，则称G是左线性文法。
正规文法：右线性文法和左线性文法都称为正规文法
句柄：一个句型的最左直接短语
规范推导（最右推导）：每步推导都坚持替换当前句型最右边的非终结符。
文法二义性：如果一个文法存在某个句子对应两棵不同的语法树（或最左推导或最右推导） 则说这个文法是二义性的。
确定有穷自动机：
一个确定的有限自动机M是一个五元组M =（Q,Σ, f, S, Z），其中：
(1)Q是一个有限状态集，它的每一个元素称为一个状态；
(2)(2)Σ是一个有穷输入字母表，它的每一个元素称为一个输入字符；
(3)f是一个从Q×Σ到Q的单值映射，即f (qi , a)=qj且有qi、qj∈Q和a∈Σ； (4) S∈Q，是惟一的一个初态；
(5) Z⊆Q，是一个终态集。
非确定有穷自动机： 一个非确定有限自动机M是一个五元组Mn=(Q,Σ,f,S,Z)，其中：
(1) Q、Σ、Z的意义与DFA相同；
(2) 状态转换函数f不是单值函数，它是一个多值函数。是一个从S×Σ*到S的子集映射； (3) S ⊂Q，是一个非空初态集。
正规集：正规语言（正规文法描述的语言）的集合
正规式：正规集的形式化描述，只能出现“.”连接、“|”或、“*”闭包三种运算。多数程序语言的单词都可用正规文法或正规式来描述。
素短语：所谓句型的素短语是指这样的一种短语，它至少包含一个终结符，并且除自身之外，不再包含其他的素短语。
规范句型活前缀：
（1）字符串的前缀是指字符串的任意首部。如，字符串abc的前缀有空串、a、ab、abc。（2）规范句型活前缀是指规范句型的前缀，这种前缀不包含句柄右边的任何符号。
LR(0)项目集规范族：构成识别一个文法活前缀的DFA的状态（项目集）的全体。
冲突项目：“移进——规约”“规约——规约”冲突
同心集：所谓同心的LR(1)项目集是指在两个LR(1)项目集中，除搜索符不同之外，核心部分是相同的。
什么是属性文法？
一个属性文法是在上下文无关文法的基础上，允许每个文法符号X（终结符或非 终结符）根据处理的需要，定义与X相关联的属性。 文法符号的属性可分为继承属性与综合属性两类。综合属性用于“自下而上”传递信息，继承属性用于“自上而下”传递信息。
文法中的每个符号都有一些编译程序关心的信息，称为文法符号的属性；
为文法中的每个产生式给定一组计算相关属性的动作——语义动作
所谓语法制导翻译，是指在语法规则的制导下，通过计算语义规则，完成对输入符号串的翻译。
为文法中的每个产生式给定一组计算相关属性的动作——语义动作
所谓语法制导翻译，是指在语法规则的制导下，通过计算语义规则，完成对输入符号串的翻译。
什么是代码优化？代码优化通常在什么基础上进行？
提高代码质量的技术常称为代码优化。根据是否与具体机器有关，分为两类：一 类与机器有关，在目标代码上进行；一类与机器无关，在中间代码上进行。根据优化对象不同，可分为局部优化、循环优化、全局优化。
常用的优化技术有哪些？
删除多余运算、复写传播、代码外提、强度削弱，合并已知量。
目标代码的形式有哪些?
(1)能够立即执行的机器语言代码 (2)待装配的机器语言模块 (3)汇编语 言程序