重要概念与题型总结
Posted 程序媛小哨
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了重要概念与题型总结相关的知识，希望对你有一定的参考价值。
编译原理1-3章重要概念与题型总结
文章目录
1-2章概念测试题总结：
程序语言的语法描述
V ∗ V^* V∗和 V + V^+ V+区别在于，如果V中间原来没有空字，闭包中包含空字，正规闭包没有空字
句型、句子和语言
题型一：证明某表达式是文法的句子：
- 首先要证明是该表达式是文法的一个句型：能够从文法的开始符号推出来。也就是给出来一个从文法的开始符号到你要推导的序列。
- 再证明该句型仅含终结符
要证明是一个句子
- 必须证明它只有终结符
- 再证明它能从文法的开始符号推出来
题型二：求文法产生的语言：
解题思路：先分析下文法可能产生的推导，然后总结出语言的模式。
使用第一个候选推导停止，使用第二个候选，在右边增加b
每次使用递归候选替换时，都会导致句型变长，这样就能推出结构相似长度不同的句子。
S推出AB
S所能推导的式子都可以看成两个部分，前一部分由A推导出来，后一部分由语法单位B产生。
继续分析A，B产生串的特点
A的候选，aA递归候选（不断在A前面增加a），a非递归候选（使用即结束）
A最终产生的串就是若干个a构成的串（个数>0）
B的候选，bB递归候选（不断在B面增加a），b非递归候选（使用即结束）
B最终产生的串就是若干个b构成的串（个数>0）
题型三：由产生串反推文法：
关键性约束：a，b数目一样多
- 拿掉开头的子串，剩下的子串也满足条件：前一半若干个a，后一半若干个b，数目相同，所以可以写出规则S→aSb
- 最后不断拿掉，最简单的句子是ab，S→ab递归基础
句子特点：前面若干个a后面若干个b，a的数目是b的1到2倍之间。
- 首先找出满足条件最简单的句子：S→ab|aab
- 递推：S→aSb|aaSb
题型四：写出最左推导/最右推导，并画出语法树
最左推导和最右推导
最左推导和最右推导的语法树是一样的，只是树的生长顺序不同，从上往下（从左到右|从右到左生长）
语法树
用一张图表示一个句型的推导,称为语法树
如果使用最左(右)推导，则一个最左(右)推导与语法树一一对应。
文法层面的二义性
- 文法的二义性：如果一个文法存在某个句子对应两颗不同的语法树，则说这个文法是二义的。
G(E)： E → i|E+E|E*E|(E) 是二义文法。
题型五：证明某文法是二义文法：
只要找出他的一个有两颗不同的语法树这样的句型/句子就能证明这个文法是二义的。
同理，只要找到一个有两个不同的最左推导/最右推导的句子/句型也能证明这个文法是二义的。
语言层面的二义性
- 语言的二义性：一个语言是二义性的，如果对它不存在无二义性的文法。
- 对于语言L，可能存在G和G’，使得L(G)=L(G’)=L，但可能其中一个为二义的，一个为无二义的。
- 二义性问题是不可判定问题，即不存在一个算法，它能在有限步骤内，确切地判定一个文法是否是二义的。
- 可以找到一组无二义文法的充分条件。
判断文法是否是二义的：
形式语言鸟瞰
- Chomsky于1956年建立形式语言体系，他把文法分成四种类型：0，1，2，3型。
- 与上下文无关文法一样，它们都由四部分组成，但对产生式的限制有所不同。
题型六：掌握0，1，2，3型文法，要求能根据语言按要求写出相对应符合条件的0，1，2，3型文法
0型(短语文法，图灵机)：
产生式形如：
α
→
β
α→β
α→β
其中：
α
∈
(
V
T
∪
V
N
)
∗
α∈ (V_T∪V_N)^*
α∈(VT∪VN)∗且至少含有一个非终结符；
β
∈
(
V
T
∪
V
S
)
∗
β∈ (V_T∪V_S)^*
β∈(VT∪VS)∗
α、β都是由终结符和非终结符组成的任意串，但α含有一个非终结符（全是终结符就没法定义了）
2型文法（上下文无关文法是0型文法的一个特例）
1型(上下文有关文法，线性界限自动机)：
产生式形如：
α
→
β
α→β
α→β
其中：
α
∈
(
V
T
∪
V
N
)
∗
α∈ (V_T∪V_N)^*
α∈(VT∪VN)∗且至少含有一个非终结符；
β
∈
(
V
T
∪
V
S
)
∗
β∈ (V_T∪V_S)^*
β∈(VT∪VS)∗
∣
α
∣
≤
∣
β
∣
|α| ≤ |β|
∣α∣≤∣β∣，仅
S
→
ε
S→ε
S→ε 例外。
左边一定比右边短
2型(上下文无关文法，非确定下推自动机)：
产生式形如：
A
→
β
A → β
A→β
其中：
A
∈
V
N
；
β
∈
(
V
T
∪
V
N
)
∗
A∈ V_N；β∈ (V_T ∪ V_N)^*
A∈VN；β∈(VT∪VN)∗
左边是一个非终结符，右边是终结符非终结符组成的任意串。
3型(正规文法，有限自动机)：
右线性文法
产生式形如：
A
→
α
B
或
A
→
α
A → αB 或 A → α
A→αB或A→α
其中：
α
∈
V
T
∗
；
A
，
B
∈
V
N
α∈ V_T^*；A，B∈V_N
α∈VT∗；A，B∈VN
右边要么没有非终结符
如果有非终结符的话，只能出现在最右边。
左线性文法
产生式形如：
A
→
B
α
或
A
→
α
A → Bα 或 A → α
A→Bα或A→α
其中：
α
∈
V
T
∗
；
A
，
B
∈
V
N
α∈ V_T^*；A，B∈V_N
α∈VT∗；A，B∈VN
右边要么没有非终结符
非终结符要出现，只能在定义式的最左边。
是个2型文法不是3型文法，S出现在候选式中间，不是最左边也不是最右边，只能由上下文无关文法来产生，不能由正规文法来产生
计算机科学理论可以证明，像 a n b n a^nb^n anbn这种自嵌套的语言只能由上下文无关文法来描述，不能由正规文法来描述
举例：
第三章
小概念：单词的长度不能超过半区的长度，半区的长度就是程序语言允许的最大长度
如果标识符长度不能超过128，就可以推断出扫描缓冲区的长度为256
正规式和正规集
程序语言定义合法单词的集合就是正规集
为了更好的表示正规集，我们用正规式作为正规集的代表/命名。
对给定的字母表
∑
∑
∑
1)
ε
ε
ε和
Ф
Ф
Ф都是
∑
∑
∑上的正规式，它们所表示的正规集为
ε
ε
ε和
Ф
Ф
Ф;
2) 任何
a
∈
∑
a∈ ∑
a∈∑，a是
∑
∑
∑上的正规式，它所表示的正规集为a ;
3) 假定e1和e2都是
∑
∑
∑上的正规式，它们所表示的正规集为L(e1)和L(e2)，则
- i) (e1|e2)为正规式，它所表示的正规集为L(e1)∪L(e2)，（两个正规集的并还是正规集）
- ii) (e1.e2)为正规式，它所表示的正规集为L(e1)L(e2)，（两个正规集的连接还是正规集）
- iii) ( e 1 ) ∗ (e1)^* (e1)∗为正规式，它所表示的正规集为 ( L ( e 1 ) ) ∗ (L(e1))^* (L(e1))∗，（一个正规集的闭包还是正规集）
仅由有限次使用上述三步骤而定义的表达式才是 ∑ ∑ ∑上的正规式，仅由这些正规式表示的字集才是 ∑ ∑ ∑上的正规集
Ф
Ф
Ф/ 既是集合也是正规式也是正规集
不是字符也不是由字母表字符构成的字符串，因此其不是字
ε ε ε既是字也是正规式，其正规集是 ε ε ε
a是字母表中的字符
则a是字符，当然a也可以看成一个由一个字符a构成的长度为1的字符串，因此a是字
根据定义a也是正规式
其对应的正规集为a
VS
ε
ε
ε
这两个集合都是正规集，空集对应的正规式是
Ф
Ф
Ф这个符号，而
ε
ε
ε所对应的正规式是
ε
ε
ε，
ε
ε
ε集合中有一个元素（字）尽管字的长度是0，而空集里面没有任何元素。
回顾：
题型——证明正规式等价
对给定的字母表
∑
∑
∑ 以上是关于重要概念与题型总结的主要内容，如果未能解决你的问题，请参考以下文章
1)
ε
ε
ε和
Ф
Ф
Ф都是
∑
∑
∑上的正规式，它们所表示的正规集为