英文含义.doc

英文含义： 机器语言：Machine language 汇编语言：Assembly language 高级语言：High-level language 源语言：Source language 目标语言：Target language 翻译程序：Translator 编译程序：Compiler 交叉编译程序：Cross compiler 预处理程序：Preprocessor 解释程序：Interpreter 中间代码：Intermediate code 词法分析器：scanner 语法分析器：Parser 前端：Front end 后端：back end 遍：pase 文法：Grammar 正规文法：Regular grammar 正则式：Regular expression 有穷自动机：Finite automata 术语解释： 推导: 连续使用产生式右部去替换左部某个非终结符的过程,得到的连续序列称为一个推导。 直接推导：又称一步推导(用 符号=表示),就是用某条规则的右部去替换该规则的左部 最左推导：如果整个推导中，每一步都是替换句型中最左边的非终结符。 最右推导：在推导的每一步都替换最右边的非终结符。 规范推导：又称最右推导 句型：设Ｇ(s)是一文法，如果符号串x是从开始符号推导出来的，即有s=x,则称x是文法G(s)的一个句型。 句子：若x仅由终结符号组成，则称x为G(S)的句子。 语言：一个文法G可以推导出的所有句子构成的一个集合, 就确定了一个语言。 非确定有限自动机：（NFA）M是一个五元组：M=（S，Σ，δ，s0，F）。 确定有限自动机：一个确定的有穷自动机（DFA）M是一个五元组：M=（S，Σ，δ，s0，F）。 LL(1)分析：文法不含左递归，对文法中的任一个非终结符A的各个候选式的首终结符集两两不相交，对文法中的每个非终结符A,若它的某个首终结符集含有ε 短语：如果有S=xAy, 且有A=β,则β是句型xβy相对于非终结符A的短语 直接短语：如果有S=xAy, 且有A-β,则β是句型xβy相对于A-β的直接短语 句柄：位于一个句型最左边的直接短语称为句柄. 素短语：是一个短语，至少含有一个终结符,且除自身外,不再包含任何其它更小的素短语。 算符优先文法：根据优先性“低于”来识别句柄的头，根据优先性“高于”来识别句柄的尾。各种优先关系已经存于优先关系表中。 LR（0）项目：是在G的某个产生式右部的某个位置添加一个圆点。 归约项目：后继符号为空：即圆点在最右边A?α· 接受项目：归约项目的左边是文法开始符号S?α· 移进项目：后继符号为终结符： A?α· aβ 待约项目：后继符号为非终结符：A?α· Bβ 1.编译工程划分为词法分析，语法分析，语义分析与中间代码生成，代码优化，目标代码生成。同时还伴有表格管理和错误处理。 2．LL(1)分析中，第一个L的含义是从左到右的扫描，第二个L的含义是分析过程采用最左推导，1的含义是需要向右查看一个符号便可决定如何推导。 3.LR（0）分析中“L”的含义是从左到右的扫描，“R”的含义是分析过程采用最右推导的逆过程—最右规约，0的含义是向后查看0个符号决定分析动作。 1.考虑文法G[S]:S?aSbS|bSaS|ε (1) 句子abab有如下两个不同的最左推导： S = aSbS = abS =abaSbS = ababS = abab? ? S = aSbS = abSaSbS = abaSbS = ababS = abab? ? 所以此文法是二义性的。(2) 句子abab的两个相应的最右推导：? ? S = aSbS = aSbaSbS = aSbaSb = aSbab = abab? ? S = aSbS = aSb = abSaSb = abSab = abab(3) 句子abab的两棵分析树： (a)(b)(4) 此文法产生的语言是：在{a，b}上由相同个数的a和b组成的字符串。 2. 求正规式(a|b)*a(a|b)的NFA、DFA ① 求出NFA M:  ②确定化，得到DFA M: ③化简:?在第②步中求出的DFA M中没有等价状态，因此它就是最小化的DFA M。 3.有一台自动售货机，接受1元和5角的硬币。。。。。。 其中a代表1元硬币，b代表5角硬币 4.设计一个状态数量少的DFA，其输入字母表是{0,1}，它能接受以00或01结尾的所有序列，并给出相应的正规文法。 解答：