《编译原理-填空题》由会员分享，可在线阅读，更多相关《编译原理-填空题（2页珍藏版）》请在金锄头文库上搜索。
1、三、填空题(每空1分，共10分)2型文法又称为 (上下文无关 )文法；3型文法又称为( 正则) 文法。编译程序的工作过程一般可以划分为词法分析,语法分析,语义分析,中间代码 生成,代码优化等几个基本阶段,同时还会伴有_(_表格处理_)_和 _(出错处理)_。 编译程序首先要识别出源程序中每个( 单词) ，然后再分析每个 (句子) 并翻译其意义。 编译方式与解释方式的根本区别在于_是否生成(目标代码)。 编译过程可分为 （ 词法分析） ，（语法分析），（语义分析与中间代码生成 ），（优化）和（目标代码生成 ）五个阶段。编译器常用的语法分析方法有( 自底向上 )和 (自顶向下) 两种。产生式是用于
2、定义_(_语法范畴)_的一种书写规则。常用的参数传递方式有(传地址），（传值），（传名）常用的两种动态存贮分配办法是（栈式）动态分配和（堆式）动态分配。程序设计语言运行时存储管理方案，主要分为两大类，即( 静态存储分配) 方案和 (动态存储分配)方案。从功能上说，程序语言的语句大体可分为（ 执行性 ）语句和（说明性 ）语句两大类。对编译程序而言,输入数据是_(_源程序)_, 输出结果是_(_目标程序)_。 对于数据空间的存贮分配， FORTRAN采用( 静态策略， PASCAL采用( 动态)策略。对于文法G，仅含终结符号的句型称为 ( 句子 )。对于文法的每个产生式都配备了一组属性的计算规则，
3、称为 _(语义规则)_ 。 分析句型时，应用算符优先分析技术时，每步被直接归约的是_(_最左素短语)_，而应用 LR 分析技术时，每步被直接归约的是_(_句柄)_。 符号表中的信息栏中登记了每个名字的有关的性质，如(类型、种属、所占单元大小、地址）等等。根据优化所涉及的程序范围，可将优化分成为(局部优化），（循环优化），（全局优化）三个级别。计算机执行用高级语言编写的程序主要有两种途径：_(_解释)_和_(_编译)_。 局部优化是在_(基本块)_范围内进行的一种优化。局限于基本块范围的优化称（ 局部优化 ）。每条指令的执行代价定义为(指令访问主存次数加1）如果一个文法存在某个句子对应两棵不同的
4、语法树，则称这个文法是（ 二义性的 ）。 扫描器的任务是从（ 源程序中 ）中识别出一个个（ 单词符号 ）。算符优先分析法每次都是对(最左素短语）进行归约。所谓自上而下分析法是指(从开始符号出发，向下推导，推出句子）通常把编译过程分为分析前端与综合后端两大阶段。词法、语法和语义分析是对源程序的(分析)，中间代码生成、代码优化与目标代码的生成则是对源程序的(综合)。一个 LR 分析器包括两部分：一个总控程序和_(一张分析表_)。一个典型的编译程序中，不仅包括_词法分析_、_语法分析_、_中间代码生成_、 代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。一个句型中的最左简单短语称为该句
5、型的_句柄_。一个名字的属性包括_类型_和_作用域_。一个文法G，若它的预测分析表M不含多重定义，则该文法是（LL(1) 文法）文法。一个文法能用有穷多个规则描述无穷的符号串集合（语言）是因为文法中存在有_递归 _定义的规则。一张转换图只包含有限个状态,其中有一个被认为是（初）态;而且实际上至少要有一个（终 ）态。语法分析的方法大致可分为两类，一类是（ 自上而下 ）分析法，另一类是（ 自下而上 ）分析法。语法分析基于_上下文无关_文法进行，即识别的是该类文法的句子。语法分析的有效 工具是_语法树_。 语法分析器的输入是_单词符号串_，其输出是_语法单位_。语法分析是依据语言的_语法_规则进行的
6、，中间代码产生是依据语言的_语义_规 进行的。语法分析最常用的两类方法是_自上而下_和_自下而上_分析法语义分析阶段所生成的与源程序等价的中间表示形式可以有_逆波兰_、_三元式表示_与_四元式表示_等。预测分析程序是使用一张（ 分析表 ）和一个（ 符号栈 ）进行联合控制的。在使用高级语言编程时,首先可通过编译程序发现源程序的全部_语法_错误和语义的部分错误。自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地 向上进行_直接归约_ ，力求归约到文法的_开始符号_。 自顶向下的语法分析方法的基本思想是：从文法的_开始符号_开始，根据给定的输 入串并按照文法的产生式一步一步的向下进行_直接推导_，试图推导出文法的_句子_，使之与给定的输入串_匹配_。自上而下分析法采用_移进_、归约、错误处理、_接受_等四种操作。最右推导的逆过程称为规范归约 ，也称为 最左归约。最右推导亦称为（规范推导），由此得到的句型称为（规范）句型。
