重要概念与题型总结

Posted Leokadia Rothschild

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了重要概念与题型总结相关的知识,希望对你有一定的参考价值。

编译原理1-3章重要概念与题型总结

文章目录

1-2章概念测试题总结:




程序语言的语法描述


V ∗ V^* V V + V^+ V+区别在于,如果V中间原来没有空字,闭包中包含空字,正规闭包没有空字




句型、句子和语言

题型一:证明某表达式是文法的句子:
  • 首先要证明是该表达式是文法的一个句型:能够从文法的开始符号推出来。也就是给出来一个从文法的开始符号到你要推导的序列。
  • 再证明该句型仅含终结符

要证明是一个句子

  1. 必须证明它只有终结符
  2. 再证明它能从文法的开始符号推出来
题型二:求文法产生的语言:

解题思路:先分析下文法可能产生的推导,然后总结出语言的模式。

使用第一个候选推导停止,使用第二个候选,在右边增加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)^* α(VTVN)且至少含有一个非终结符; β ∈ ( V T ∪ V S ) ∗ β∈ (V_T∪V_S)^* β(VTVS)

α、β都是由终结符和非终结符组成的任意串,但α含有一个非终结符(全是终结符就没法定义了)

2型文法(上下文无关文法是0型文法的一个特例)

1型(上下文有关文法,线性界限自动机):

产生式形如: α → β α→β αβ
其中: α ∈ ( V T ∪ V N ) ∗ α∈ (V_T∪V_N)^* α(VTVN)且至少含有一个非终结符; β ∈ ( V T ∪ V S ) ∗ β∈ (V_T∪V_S)^* β(VTVS)
∣ α ∣ ≤ ∣ β ∣ |α| ≤ |β| αβ,仅 S → ε S→ε Sε 例外。

左边一定比右边短

2型(上下文无关文法,非确定下推自动机):

产生式形如: A → β A → β Aβ
其中: A ∈ V N ; β ∈ ( V T ∪ V N ) ∗ A∈ V_N;β∈ (V_T ∪ V_N)^* AVNβ(VTVN)

左边是一个非终结符,右边是终结符非终结符组成的任意串。

3型(正规文法,有限自动机):

右线性文法

产生式形如: A → α B 或 A → α A → αB 或 A → α AαBAα
其中: α ∈ V T ∗ ; A , B ∈ V N α∈ V_T^*;A,B∈V_N αVTABVN

右边要么没有非终结符
如果有非终结符的话,只能出现在最右边。

左线性文法

产生式形如: A → B α 或 A → α A → Bα 或 A → α ABαAα
其中: α ∈ V T ∗ ; A , B ∈ V N α∈ V_T^*;A,B∈V_N αVTABVN

右边要么没有非终结符
非终结符要出现,只能在定义式的最左边。



是个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) ε ε ε Ф Ф Ф都是 ∑ ∑ 上的正规式,它们所表示的正规集为

以上是关于重要概念与题型总结的主要内容,如果未能解决你的问题,请参考以下文章

重要概念与题型总结

软件工程导论题型大总结简答题总结

数据库题型大总结名词解释总结

数据库题型大总结简答题总结

导数与微分的基础题型总结

软件工程导论题型大总结名词解释总结