编译原理-填空题.doc

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