程序设计语言编译原理-考试重点.docVIP

程序设计语言编译原理_考试重点(终).doc 第一章 引论 于宿主机的机器代码的程序。 到尾扫描一次,并作有关的加工处理,态集合、有穷字母表、转换函数、唯一1.编译程序分几个阶段,每个阶段的任14.可变目标编译程序,如果不需要重生成新的中间结果或目标程序。 的初始状态、终止状态集合。一个确定务是什么, 新编译程序中与机器无关的部分就能编译前段,由与源程序有关但与目标程有限自动机,DFA, M是一个五元式,五个阶段,词法分析、语法分析、语义改变目标机,则该编译程序就叫做可变序无关的那些部分组成。包括词法分M , (S,?,δ,s0 ,F) ,其中S是一个有分析、中间代码生成、优化、目标代码目标编译程序。 析、语法分析、语义分析与中间代码和限集,它的每个元素称为一个状态,?生成 PS,世界上第一个编译程序——一些优化工作。 是一个有穷字母表,它的每个元素称为词法分析任务,输入源程序,对构成源FORTRAN编译程序——20世纪50年编译后端,编译程序中与目标机有关的一个输入字符,δ是一个从S×?至S的程序的字符串进行扫描和分解,识别出代 那些部分,后端不依赖于源语言而仅仅单值部分映射。 δ(s,a)=s?意味着,当一个个的单词。,如基本字,标识符,15.编译过程 依赖于中间语言。 现行状态为、输入字符为a时,将转换常数,算符和界符,。 第一阶段,词法分析——词法分析器 集成化的程序设计环境的特点,它将相到下一状态s?。我们称s?为s的一个后语法分析任务,在词法分析基础上,将1)任务,输入源程序,对构成源程序的互独立的程序设计工具集成起来,以使继状s0?S是唯一的初态F 是一个终态单词符号串转化为语法单位,语法范字符串进行扫描和分解,识别出一个个为程序员提供完整的、一体化的支持,集,可空,。一个非确定有限自动机畴,,短语、子句、句子、程序段、程的单词,亦称单词符号或简称符号,,从而进一步提高程序开放效率,改善程,NFA, M是一个五元式,M , (S,序,,并确定整个输入串是否构成语法标示符,常熟,算符和界符。2,单词序质量。 ?,δ,S0 ,F) ,其中S是一个有限集,它上正确的程序。 符号是语言的基本组成成分,是人们理17.T形图 的每个元素称为一个状态,?是一个有语义分析和中间代码生成任务,对语法解和编程的基本要素。3)描述词法规则第二章 高级语言及其语法描述 穷字母表,它的每个元素称为一个输入分析所识别出的各类语法范畴,分析其的有效工具是,正规式和有限自动机 1. 程序语言是由语法和语义两方面定字符,δ是一个从S×?*至S的子集的含义,并进行初步翻译,产生中间代第二阶段,语法分析——,词法,分析义的。 映射,即δ, S×?* ? 2s,S0?S是唯码,。 器 2.上下文无关文法的定义,四个组成部一的初态,F是一个终态集,可空,。 代码优化任务,对于代码,主要是中间1)任务,在词法分析的基础上,根据语分,一组终结符号、一组非终结符号、3.设有确定的有限自动机DFA M = 代码,进行加工变换,以期能够产生更言的语法规则,把单词符号分解成各类一个开始符号、一组产生式。一个上下({0,1,2,3},{a,b},δ,0,{3}),其中δ为:δ为高效,省时间和空间,的目标代码 。 语法单位,如“短语”、“子句”、“句子”、“程序文无关文法G是一个四元式,VT,VN,S, (0,a)=1 δ(0,b)=2 δ(1,a)=3 δ目标代码生成任务,将中间代码变换成段”和“程序”等。通过语法分析,确定整P ,,其中: VT,是非空有限集,它的(1,b)=2 δ(2,a)=1 δ(2,b)=3 δ(3,a)=3 特定机器上的低级语言代码 个输入串是否构成语法上正确的“程每个元素是终结符号,VN,是非空有δ(3,b)=3 2.表格管理和出错处理,编译各阶段均序”。2)语法分析所依据的是语言的语法限集,它的每个元素是非终结符号,请画出状态转换矩阵和状态转化图。相须维持表格并进行表格管理,建表的技规则。通常是上下文无关文法描述、3) VT?VN=Φ,VT?VN=V;S,S?应的状态转换矩阵如下表, 术支持是数据结构,表格的分类、结构、词法分析是一种线性分析,而语法分析VN,称为开始符号,P ,产生式集合状态 a b 处理方法决定于语言及机器,还有优化是一种层次结构分析。 ,有限,,每个产生式形式是{ P-α| P?0 1 2 措施。一个好的编译程序应该,全,最第三阶段,语义分析和中间代码产生—VN, α?(VT?VN)*,S至少一次为P }, 1 3 2 大限度发现错误,准,准确指出错误的—语义分析器 3.推导、最左推导、最右推导,1、推2 1 3 性质和发生地点,局部化,将错误的影1)任务,对语法分析所识别出的各类语导,如两个串u0、un,存在一个串