【编译原理】题目合集（三）

未经许可，禁止转载。

选择+判断

知识点补充

字母表的乘积{0，1}{A，B}={0A 0B 1A 1B}

字母表的n次幂:长度为n的符号串构成的集合

串的长度用||表示，|aa|=2，表示长度为2，空串长度为0

正闭包不包含空串：

推导是用产生式的右部替换产生式的左部，就是自顶向下，从生成语言的角度
规约是用产生式的左部替换产生式的右部，就是自底向上，从识别语言的角度
规约是推导的逆过程

一个句型中既可以包含终结符，又可以包含非终结符，也可能是空串；但句子中不包含非终结符。

文法分为0、1、2、3型文法
0型文法：无限制文法或短语结构文法，要求产生式左部有非终结符。
1型文法：上下文有关文法，CSG，要求产生式左边的符号个数小于右边，1型文法中不包含空串产生式，即不可能出现A->空串。
2型文法：上下文无关文法，CFG。
3型文法：RG文法、正则文法，要求产生式右侧最多一个非终结符。

对于上下文无关文法，叶节点可以是非终结符也可以是终结符，从左到右排列这棵树的叶节点，就得到了树的产出或树的边缘。

分析树是推导的图形化表示，对于分析树而言，直接短语一定是产生式的右部，但产生式的右部不一定是直接短语。

有穷自动机FA属于词法分析部分。

有穷自动机FA中，初始状态（开始状态）仅一个，终止状态（接收状态）有多个。

当输入串的多个前缀与一个或多个模式匹配时，总是选择最长的前缀进行匹配。

有穷自动机分为DFA和NFA，DFA是确定的有穷自动机，NFA是非确定的有穷自动机

对于任何一个DFA，都存在一个识别同一语言的NFA。

对于任何一个NFA，都存在一个识别同一语言的DFA。

正则文法等价于正则表达式，也等价于有穷自动机。

带有空边的NFA和不带有空边的NFA是等价的。

DFA的每个状态都是NFA状态集合的一个子集。

NFA转DFA的方法也叫子集构造法。

一种正规语言可对应多种正规文法，一种正规文法只描述一种正规语言。

递归下降分析由一组过程组成，每个过程对应一个非终结符。文法中有多少个非终结符，就有多少个过程。

回溯会影响分析器效率，需要回溯的分析器称为不确定的分析器，预测分析不需要回溯，称为确定的分析。

预测分析是自顶向下的。

消除左递归实际上就是变为右递归。

消除间接左递归需要使用代入的方法。

LL(1)：第一个“L”表示从左向右扫描输入，第二个“L”表示产生最左推导，“1“表示在每一步中只需要向前看一个输入符号来决定语法分析动作。

自顶向下的通用形式：应用最左推导进行递归下降分析。

若文法是确定性的，则它无二义性，但不能反推。

非确定有限自动机（NFA）和确定有限自动机（DFA）只能识别正则语言。