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

《编译原理名词解释 考试试卷 杭州电子科技大学.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1Lexicalanalysis词法分析：从左至右读源程序，识别单词符号2Syntaxanalysis语法分析：在词法分析的基础上将单词序列组合成各类语法短语3Semanticanalysis语义分析：语义检查，收集语义信息,进行类型审查.4LEX　词法分析程序的自动生成工具：输入描述构词规则的一系列正规式，构建有穷自动机和驱动程序，生成词法分析程序.5GrammarAmbiguity二义性文法：如果文法含有二义性的句子，则称该文法是二义性的。6Ambiguity二义性：如果文法G中的某个句子存在不只一棵语法树，则称该句子是二义性的7Viableprefixes活前缀：若有S’ÞαAωÞα

2、βω是一规范推导，且γ是αβ的前缀，则称是文法G的活前缀8Leftmost-reduction最左规约：最右推导的逆过程，即对最左边的可归约串进行归约9Leftmost-deruvation最左推导：对句型最左非终结符进行展开10Sententialform句型：从文法的开始符号出发进行零步或多于零步的推导得到的文法符号串11Inheritedattributes继承属性：属性值是分析树中该结点的父结点和/或兄弟结点的属性值的函数12Synthesizedattributes综合属性：属性值是分析树中该结点的子结点的属性值的函数13Syntax-DirectedTranslation语法制

3、导翻译：根据语法分析中产生式对应的语义规则进行翻译的方法14DependencyGraphs依赖图：用来表示属性之间依赖关系的有向图15Operator-precedencegrammar算符优先文法：如果一个算符文法G的任意两个终结符号之间最多只有<·、·>、=·、三种关系的一种成立16Operatorgrammar算符文法：不含形如A→ε，A→αBCβ的产生式17Regularexpression正规表达式：一个表示字符串格式的模式，可以用来描述单词符号的结构18Nfa不确定的有穷自动机：由状态集合，输入符号集合，转换函数，开始状态，接受状态集合组成19Dfa确定的有穷自动机：没有ε边

4、转移且一个状态面临一个输入符号时最多只转移到一个状态的NFA。20Staticallocation静态存储分配：编译时确定所需的全部数据空间的大小，编译时安排好每个名字的存储位置21Stackallocation栈式分配：在运行空间中划分一块存储空间作为栈区，程序运行时每当调用一个过程，就将该过程的活动记录压入栈中，过程执行完毕将它的活动记录从栈中弹出22Codeoptimization代码优化：对中间代码进行优化（提高时间与空间效率）23Pass遍：对源程序或源程序中间表示的一次扫描，每一遍读入一个文件，执行一个或几个阶段的编译操作，并输出源程序的一个中间表示24Activationre

5、cord活动记录：是一段连续的存储区，用以存放过程的一次执行所需要的信息25Accesslink访问链（存取链）：活动记录中的一个区，是一个指针26Symbol-table符号表：在编译过程中，编译程序用来记录源程序中各种文字的特征信息的表。27Handle句柄：最左直接短语28Assemblers汇编器：处理汇编语言代码，产生可重定位的机器代码29SDD语法制导定义30Nestingdepth嵌套深度31Intermediatecode中间代码