编译原理文字总结.docVIP

1. 高级程序设计语言的翻译主要有两种方式：编译和解释。 2. 编译过程概述： 词法分析：输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的单词（亦称单词符号或符号）如基本字，标识符，常数，算符和界符。 语法分析：在词法分析的基础上，根据语言的语法规则，把单词符号串分解成各类语法单位（语法范畴），如短语，子句，句子，程序段和程序等 语义分析与中间代码产生：对语法分析所识别出的各类语法范畴，分析其含义，并进行初步翻译（产生中间代码）。包括静态语义检查和中间代码的翻译。 优化：对前段产生的中间代码进行加工变换，以期在最后阶段能产生出更为高效（省时间和空间）的目标代码。 目标代码生成：把中间代码（或经优化处理之后）变换成特定机器上的低级语言代码。 编译程序结构框图 文法是表述语言的语法结构的形式规则。 4. 所谓上下文无关文法是这样一种文法，它所定义的语法范畴（或语法单位）是完全独立于这种范畴可能出现的环境的。 一个上下文无关文法G包括四个组成部分：一组终结符号，一组非终结符号，一个开始符号，以及一组产生式。 形式上说，一个上下文无关文法G是一个四元式（VT, VN,S, ＆）其中 VT是一个非空有限集，它的每个元素称为终结符号； VN是一个非空有限集，它的每个元素称为非终结符号， VT∩VN =⊕； S是一个非终结符号，称为开始符号；是一个产生式集合，每个产