计算机数学基础第二章.pptVIP

计算机科学的数学基础 第二章 有限自动机 2. 1 有限自动机的定义与构造 有限自动机（Finite Automata——FA）或称为有穷状态的机器，由一个有限的内部状态集和一组控制规则组成。 在计算机科学中，可以找到许多有限状态系统的例子，如计算机本身也可以是认为是一个有限状态系统。 有限自动机与正规文法和正规式有着非常密切的关系，它们的描述能力是相同的。 例2.1 构造一个有限自动机M0，它能识别出除以3余2的二进制数。 解：用V3(x)来表示二进制数x除以3的余数，例如，V3 (100)＝1, V3 (1011)＝2，设输入符号串为w＝a1a2…an，其中ai∈{0, 1}，0≤i≤n。显然，对于每一个i，0≤i≤n，自动机读入符号串a1a2…ai后，二进制数a1a2…ai除以3的余数V3(a1a2…ai)必然为0、1、2之一，不可能有其它情况。因此可知，在自动机M0中只需要采用三个状态来分别表示上述的三种情况即可。令自动机M0中有状态q0、状态q1和状态q2分别表示余数为0、1和2的情况。 状态之间的转换 当M0读完符号串a1a2…ai后 又读到符号ai+1时，新符号串a1a2…ai ai+1除3 的余数与原符号串a1a2…ai除3的余数之间显 然有： V3(a1a2…ai ai+1) ≡2*V3(a1a2…ai) + ai+1(mod 3) 自动机的抽象模型 可以将有限自动机抽象地描述成如图2.2所示的模型，该模型由一条无穷长度的输入带、一个读头和一个有限控制器组成。 确定的有限自动机 定义2. 1 一个确定有限自动机(DFA)M是一个五元组 M = (S, ?, f, s0, Z) 其中： ∑是有穷字母表,它的每一个元素称为一个输入符号； S是有限状态集，它的每一个元素称为一个状态； f是转换函数，是从S×∑?S上的一个单值映射，即f(p, a)＝q，q称为p的后继状态； s0 ? S是一个唯一的初始状态； Z ? S是一个终止状态集。 对于一个给定的属于该自动机的状态和一个属于该自动机字母表Σ的字符，它都能根据事先给定的转移函数转移到下一个唯一确定的状态（这个状态可能是先前那个状态）。 定义2. 2 DFA M所接受的符号串的集合称为DFA M所接受的 语言，记为L(M)，即： L(M)＝{w | f(s0, w)∈Z，w∈∑*} 不确定的有限自动机(NFA) 定义2. 3 一个不确定有限自动机M是一个五元组 M＝( S, ?, f, S0, Z) 其中： ∑是有穷字母表,每一个元素称为一个输入符号； S是有限状态集，每一个元素称为一个状态； f是转换函数: S×∑? ?(S)上的映射(?(S)是S的幂集)，即f(p,a)＝{q1,...,qk}，表示当前的状态为p，输入符号为a时，则转换到的状态是一个状态集； S0 ? S是初始状态集； Z ? S是终止状态集 。 对于一个给定的属于该自动机的状态和一个属于该自动机字母表Σ的字符，它将根据事先给定的转移函数转移到下一个不确定的状态（因为转换到的状态是一个状态集）。 DFA与NFA的比较 DFA的转换函数是从S×∑到S上的一个单值映射。 NFA的转换函数是从S×∑到?(S) (S的幂集)的映射，而不是到S的映射，即一个状态可转换到的后继状态是一个状态集合(可能是空集)，而不是单个状态。 NFA有一个初态集, DFA的初态是唯一的。 DFA和NFA都正好识别正规集。 它们之间存在着时空权衡问题, DFA识别速度快，占用空间大，NFA识别速度慢，占用空间小。 非确定有限自动机的推广 将具有ε动作的非确定有限自动机定义为五元组( S, ∑, f, S0 , Z)，其中除转移函数f外的分量的定义如同定义2. 3，但转移函数f是如下映射：S ×(∑∪{ε}) ? ?(S) f(q, ε)＝q。 若NFA的某些状态既是初态又是终态，则空字ε可为该NFA M所接受。 具有ε动作的NFA并不增加NFA接受语言的能力。 定理2. 1 对任何一个具有ε动作的NFA M ，一定存在一个不具有ε-转移的NFA M’，使得L(M)＝L(M’)。 其证明的基本思想是去掉ε弧。 DFA可视为NFA的一个特例，其中： (1) 没有一个状态有ε转换； (2) 对每一个状态s和输入符号a，最多只有一条标记为a的弧离开。 对于任何两个有限自动机M和M’，如果L(M)＝L(M’)，则称M和M’是等价的。 2.4 NFA的确定化 如果把状态子集看作是整体，即把一个状态子集 看