编译原理实验心得

《编译原理实验心得》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、编译原理实验心得第一章、引论经过这一章节的学习我学到了如下知识：1.自1954年FROTRANⅠ语言问世以来，计算机高级语言的到迅速发展。高级语言给编程带来了极大的方便，但是计算机只能直接执行用机器语言编写的程序，不能直接执行用高级语言编写的程序。要执行高级语言程序，必须提供该语言的翻译程序。翻译有编译和解释两种方式。编译方式是先将源程序翻译成目标程序，然后再执行目标程序，相应的翻译程序称为编译程序。解释方式是边翻译边执行，相应的翻译程序称为解释程序。2、编译理论和技术主要研究和讨论编译程序的构造和设计原理

2、。3、编译程序一般包括词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、表格处理程序和出错处理程序等。4、编译过程可采用分遍形式，及编译过程可由一遍或多遍完成。5、对于具有自编译性的高级语言，可运行自展技术构造其编译程序，即将源程序分解成核心部分和扩充部分，对核心部分进行多次扩充之后得到源语言。6、一个具有自编译性的高级语言在宿主机上的编译程序可以移植到目标机上。7、LEX是一个有代表性的词法分析程序生成器。YACC是一种基于LALR（1）分析法的语法分析程序生成器

3、。凡是有助于减少编写翻译程序工作的软件或工具包，统称为翻译程序的编写系统。8、传统的串行编译程序只适应于SISD结构计算机，具有并行处理功能的并行编译程序则适于SISD和MISD结构计算机。第二章、形式语言概论1、形式语言由Chomsky于1956年提出，其理论的形成和发展推动了计算机考完学技术发展。形式语言理论是编译原理的重要理论基础。2、文法是形式语言中十分重要的基本概念。文法可以定义为一个四元组，文法G=（VN，VT，P，S）。其中，VN是一个非终结符集，VT是一个终结符集，P是一个产生式集，S属于V

4、N是文法的识别符。3、Chomsky将文法分类为0型、1型、2型、3型文法。程序设计语言的语法规则属于3型文法（正规文法）。程序设计的语言和语义部分，一般属于1型文法（上下文有关文法），但实际上都是采用2型文法（上下文无关文法）来描述语法。4、对于一个文法，我们需要研究它的句型、句子和语言。要识别一个符号串是不是一个文法的合法句子，需要对它进行语法分析。分析方法有两类，一列是自上而下分析法，另一类是自下而上分析法。5、为了进行语法分析，需要事先将文法的产生式存储在计算机中，可以为文法建立一个产生式表，把文法

5、的所有产生式都放在这个产生式表中。为了在分析过程中能迅速地查找到相应的产生式，还可以再建立一个目录表。第三章、有穷自动机1、自动机是一种能进行运算并能实行自我控制的装置。它是描述符号串处理的强有力地工具，是研究扫描器的理论基础。有穷自动机分为确定有穷自动机（DFA）和非确定有穷自动机（NFA）。2、DFA=（Q，∑，t，q0，F），Q是状态集，∑是输入字母表，t：Q×∑→Q,q0属于Q是开始转台，F是终止状态集。3、NFADFA=（Q，∑，t，q0，F），t为Q×∑→Q的子集上的函数,Q0是开始状态集。4、

6、对于NFA可采用子集法和造表法进行确认化，将其转化为等价的DFA。对DFA化简的基本思想是将状态集分解成若干个互不相交的子集，使每个子集中的状态都是等价的，而不同子集的状态是可区分的。5、正规文法与FA有着特殊的关系。从正规文法可直接构造其自动机；反之，由自动机也可以直接构造其正规文法。6、正规表达式与FA也有着特殊的关系。对于字母表∑上的任意一个正规表达式e，一定可以构造一个NFAM，使L（M）=L（e）；反之，对于一个具有输入字母表∑的NFAM，在∑上也可以构造一个正规表达式e，使L（e）=L（M）。7

7、、正规语言可用正规文法描述，也可以用正规表达式描述。8、DFA在计算机中有两种表示，一种是矩阵表示，另一种是表结构。第四章、词法分析1、词法分析是编译过程的第一阶段，是编译过程的基础。它负责对源程序扫描，从中识别出一个个的单词。2、单词是程序设计语言的基本语法单位和最小的语义单位。单词一般分为五类，即关键字（又称为保留字或基本字）、标识符、常数、运算符和界限符。3、源程序经词法分析程序识别的单词背表示成机内符，机内符包括单词类别和单词自身值两部分。4、词法分析程序课利用状态转换图进行设计。状态转换图是一个有

8、向图，每个节点表示一个状态，其中有一个初始状态，至少有一个终止状态。5、词法分析程序还可以根据正规文法或正规表达式来进行设计、第五章、自上而下语法分析1、递归下降分析程序及其设计例、设文法G[S]：S→（A）

9、aAbA→eA′

10、dSA′A′→dA′

11、e子程序P（S）：READ(ch)ifch=′(′thenbeginREAD(ch);P(A);ifch=′)′thengotoLelseerrorendelseif