第 1 章 正则语言
将现实计算机中复杂难的问题直接建立易于处理的数学理论——引入计算模型
- 计算模型(Computational Model)
- 理想计算机
- 准绝地刻画了某些特征,同时忽略一些特征。因此,针对关注的特征,采用不同的计算模型。
- 最简单模型——自动机(Automation)
1.1 有穷自动机
- 什么是“有穷自动机”?
- 描述能力和资源及其有限的计算机模型。
- 从数学角度考虑“有穷自动机”
- 只做抽象的描述,不涉及任何具体的应用
- 接受输入:字符串
- 输出:是非型
- 如此有限,能做什么?
- 很多事情(机电设备核心部位)
自动门控制器实例:
控制器处于CLOSED状态,假设输入如下信号:FRONT,REAR,NEITHER,FRONT,BOTH,NEITHER,REAR,NEITHER,考虑状态的变化。
可以给出状态和信号之间的计算。
- 的状态图
- 起始状态(start state) 用一个指向它的无出发点的箭头表示。
- 接收状态(accept state) 带有双圈。
- 从一个状态指向另一个状态的箭头称为转移。
状态/信号 | 0 | 1 |
---|---|---|
- 当这个自动机接收到输入字符串,例如 1101 时,它处理这个字符串并产生一个输出。输出是接受或拒绝。
- 处理从 的起始状态开始。自动机从左至右一个接一个地接受输入字符串的所有符号。
- 读到一个符号之后, 沿着标有该符号的转移从一个状态移动到另一个状态。
- 当读到最后一个符号时, 产生它的输出。
- 如果 现在处于一个接受状态,则输出为接受;
- 否则输出为拒绝。
用 C 语言描述自动机:
1 |
|
自动机对应于只有 if,goto,无数组,无内部变量的程序;
程序不如图形直观。
1.1.1 有穷自动机的形式化定义
- 有穷自动机是一个 5 元组()(状字转起接),其中
-
- 是一个有穷集合,称为状态集。
- 是一个有穷集合,称为字母表。
- 是转移函数。
- 是起始状态。
- 是接收状态集。
-
可以把 形式地写成 ,其中
1.
2.
3. 描述为:
状态/信号 | 0 | 1 |
---|---|---|
4. 是起始状态。
5.
1.1.2 有穷自动机举例
即, 可用形式化描述为 ,转移函数 为:
状态/信号 | 0 | 1 |
---|---|---|
形式化描述就是一个 5 元组。
若 是机器 接受的全部字符串集,则称 是机器 的语言,记作 ,又称 识别 或 接受 。(把计算模型和语言结合到一起,而语言又可以与问题进行编码,因此就通过语言把计算模型和问题关联起来)
L(M_1)=\{w|w 至少一个 1 并且在最后的 1 后面有偶数个 0\}
1.1.3 计算的形式化定义
形式化定义能够清除在非形式化描述中可能出现的任何二义性。
设 是一台有穷自动机, 是一个字符串并且其中任一 是字母表 的成员。如果存在 中的状态序列 ,满足下述条件:(为了解释自动机如何接受这个字符串)
- (起始状态吻合)
- (转移函数吻合)
- (接收状态吻合)
则 接受 。
如果 A=\{w|M 接受 w\},则称 识别语言 。
如果一个语言被一台有穷自动机识别,则称它是正则语言(regular language)。
1.1.4 设计有穷自动机
例 1:设计有穷自动机 ,假设字母表是 ,识别的语言由所有含有奇数个 1 的字符串组成。
例 2:设计有穷自动机 ,使其能够识别含有 001 作为字串组成的正则语言。
1.1.5 正则运算
如果一个语言被一台有穷自动机识别,则称它是正则语言(regular language)。
定义:设 和 是两个语言,定义正则运算并、连接和星号:
设字母表 是标准的 26 个字母 。又设 ,,则:
,
A^*=\{\varepsilon(表示空),good, bad,goodgood,goodbad,badgood,badbad,goodgoodgood,...\}
如果把某种运算应用于一个对象集合的成员得到的对象仍在这个集合中,则称这个对象集合在该运算下封闭。
正则语言类在并、连接、星号运算下封闭。
1.2 非确定性
-
有穷自动机(Finite Automata)FA
-
确定型有穷自动机(Deterministic Finite Automata)DFA
-
非确定型有穷自动机(NonDeterministic Finite Automata)NFA
证明定理遇到困难,暂时放下——引入不确定性。
- 确定性:机器处于给定状态并读入下一个输入符,可以知道机器的下一个状态是什么——确定的。
- 不确定性:任何一个点,下一个状态可能存在若干中选择。体现在:
- 转换规则——一入多出,
- 是空字(当前状态()不稳定,不用读入输入,自动转到下一个状态())——无转入态。
设 是 上倒数第三个符号为 1 的所有字符串组成的语言,下图 NFA 识别 。
让其停留在起始状态 ,直到它“猜想”它正好位于倒数第三的位置上。
1.2.1 非确定型有穷自动机的形式化定义
非确定型有穷自动机是一个 5 元组 ,其中
- 是有穷的状态集。
- 是有穷的字母表字母表。
- 是转移函数(仅在转移函数上与 DFA 不同)。
- 是起始状态。
- 是接收状态集。
的形式化描述是 ,其中
- ;
- ;
- 由下表给出:
0 | 1 | ||
---|---|---|---|
- 是起始状态;
1.2.2 NFA 与 DFA 的等价性
NFA $\Leftrightarrow $ DFA
每一台非确定型有穷自动机都等价(识别同样的语言)于某一台确定型有穷自动机。
一个语言是正则的,当且仅当有一台非确定型有穷自动机识别它。
为了消除 ,额外构造状态:
删除不必要的状态:
- DFA 机器易算,NFA 人为制造,通常,人造 NFA,让机器把它变成 DFA。
- 当用并行技术去实现时实际上使用 NFA。
- 当对有指数个结点的树回溯和搜索(可能这里广度优先比深度优先好),是用 DFA。
- 对应于 NFA 这样的简单并行程序中可以串行化。
1.2.3 在正则运算下的封闭性
正则语言类在并、连接、星号运算下封闭。
1.3 正则表达式
可以用正则运算符构造描述语言的表达式,称为正则表达式。
1.3.1 正则表达式的形式化定义
Python 正则表达式 | 菜鸟教程 (runoob.com)
称 是一个正则表达式,如果 是:
- ,这里 是字母表 中的一个元素;
- ;(表示只包含一个字符串——空串的语言,而 表示不包含任何字符串的语言)
- ;
(归纳定义)
- ,这里 和 是正则表达式;
- ,这里 和 是正则表达式;
- ,这里 是正则表达式。
1.3.2 与用穷自动机的等价性
广义非确定型有穷自动机:GNFA
- 起始状态有射到其他每一个状态的箭头,但是没有从任何其他状态射入的箭头。(避免死循环)
- 有唯一的一个接收状态,并且它有从其他每一个状态射入的箭头,但是没有射到任何其他状态的箭头。此外,这个接收状态与起始状态不同。
- 除起始状态和接收状态外,每一个状态到自身和其他每一个状态都有一个箭头。
1.4 非正则语言
任何不能被正则表达式所定义的语言都是非正则语言(Nonregular languges)(无穷个可能)
关于正则语言的泵引理
泵引理是形式语言与自动机理论中判定一个语言不是正则语言的重要工具,下面介绍的是其通用的形式,除此之外还有其推广的强泵引理等。
语言中的所有字符串只要它的长度不小于某个特定值——泵长度,就可以被抽取。
——每一个这样的字符串都包括一段字串,把这段字串重复任意次,得到的字符串仍在这个语言中。
泵引理:若 是一个正则语言,则存在一个数 (泵长度)使得,如果 是 中任一长度不小于 的字符串,那么 可以被分成 3 段,,满足下述条件:(随便否定一个,就可以证明不是正则的)
- 对每一个 ( 是 个 连接在一起, 等于 )
- (字符串 的长度大于 0,换言之,)
- ( 和 两端在一起的长度不超过 )
我们总能够在离 的开始处不太远的地方找到一个非空的串 ,然后可以把它看作一个“泵”,重复 任意多次,或者去掉它,而所得到的结果串仍然属于 。