编译原理名词解释_考试试卷_杭州电子科技大学

2 Syntax analysis 语法分析：在词法分析的基础上将单词序列组合成各类语法短语

3 Semantic analysis 语义分析：语义检查，收集语义信息, 进行类型审查.

4 LEX　词法分析程序的自动生成工具：输入描述构词规则的一系列正规式，构建有穷自动机和驱动程序，生成词法分析程序.

5 Grammar Ambiguity 二义性文法：如果文法含有二义性的句子，则称该文法是二义性的。

6 Ambiguity二义性：如果文法G中的某个句子存在不只一棵语法树，则称该句子是二义性的

7 Viable prefixes 活前缀：若有S’ αAω αβω是一规范推导，且γ是αβ的前缀，则称是文法G的活前缀

8 Leftmost-reduction 最左规约：最右推导的逆过程，即对最左边的可归约串进行归约

9 Leftmost-deruvation 最左推导：对句型最左非终结符进行展开

10 Sentential form 句型：从文法的开始符号出发进行零步或多于零步的推导得到的文法符号串

11 Inherited attributes继承属性：属性值是分析树中该结点的父结点和/或兄弟结点的属性值的函数

12 Synthesized attributes综合属性：属性值是分析树中该结点的子结点的属性值的函数

13 Syntax-Directed Translation语法制导翻译：根据语法分析中产生式对应的语义规则进行翻译的方法

14 Dependency Graphs 依赖图：用来表示属性之间依赖关系的有向图

15 Operator-precedence grammar 算符优先文法：如果一个算符文法 G 的任意两个终结符号之间最多只有<·、·>、=·、三种关系的一种成立

16 Operator grammar 算符文法：不含形如 A → ε，A →αBCβ 的产生式

17 Regular expression 正规表达式：一个表示字符串格式的模式，可以用来描述单词符号的结构

18 Nfa 不确定的有穷自动机：由状态集合，输入符号集合，转换函数，开始状态，接受状态集合组成

19 Dfa 确定的有穷自动机：没有ε边转移且一个状态面临一个输入符号时最多只转移到一个状态的NFA。

20 Static allocation 静态存储分配：编译时确定所需的全部数据空间的大小，编译时安排好每个名字的存储位置

21 Stack allocation 栈式分配：在运行空间中划分一块存储空间作为栈区，程序运行时每当调用一个过程，就将该过程的活动记录压入栈中，过程执行完毕将它的活动记录从栈中弹出

22 Code optimization 代码优化：对中间代码进行优化（提高时间与空间效率）

23 Pass 遍：对源程序或源程序中间表示的一次扫描，每一遍读入一个文件，执行一个或几个阶段的编译操作，并输出源程序的一个中间表示

24 Activation record 活动记录：是一段连续的存储区，用以存放过程的一次执行所需要的信息

25 Access link访问链（存取链）：活动记录中的一个区，是一个指针

26 Symbol-table 符号表：在编译过程中，编译程序用来记录源程序中各种文字的特征信息的表。

27 Handle 句柄：最左直接短语

28 Assemblers 汇编器 ：处理汇编语言代码，产生可重定位的机器代码

29 SDD 语法制导定义 30 Nesting depth 嵌套深度31 Intermediate code 中间代码