离散数学 09.03 没有输出的有限状态机

$\color{blue}{\S 9.3 没有输出的有限状态机}$

$有限状态机的一个重要应用是语言识别。这个应用在程序语言编译器的设计和构造\\ 中起着最基本的作用。在上一节中我们看到，有输出的有限状态机可以用来识别一个\\ 语言，然而，有另外一些类型的有限状态机是专门为语言识别设计的，它没有输出，\\ 但有许多终止状态，一个被识别的串可以让这个状态机从初始状态到某个终止状态。\\ 再讨论没有输出的有限状态机之前，我们先引入一些重要概念。我们要定义的一些运\\ 算将在讨论语言识别中广泛地被用到。$

$定义9.3.1.设A和B是V^{\ast}的子集，其中V是字母表，A和B的串联，记为AB，是所\\ 有形为xy的串的集合，其中x是来自A中的串，y是来自B中的串。$
$例9.3.1.设A = \lbrace 0, 11 \rbrace, B = \lbrace 1, 10, 110 \rbrace, 请给出AB和BA。$
$解:集合AB包含所有A中的串和B中的串的串联，因此，\\ AB = \lbrace 01, 010, 0110, 111, 1110, 11110 \rbrace, \\ 集合BA包含所有B中的串和A中的串的串联，所以，\\ BA = \lbrace 10, 111, 100, 1011, 1100, 11011 \rbrace。$

$从例9.3.1中我们看出，AB \neq BA。根据符号串集合的串联的定义，我们可以递归\\ 地定义A^n如下：A^0 = \lbrace \lambda \rbrace,A^{n+1} = A^n A,n = 0, 1, 2, \cdots$

$例9.3.2.设A = \lbrace 1, 00 \rbrace, 求A^n其中n = 0, 1, 2, 3.$
$解:由定义有: A^0 = \lbrace \lambda \rbrace，\\ A^1 = A^0 A = \lbrace \lambda \rbrace A = \lbrace 1, 00 \rbrace, \\ A^2 = A A = \lbrace 11, 100, 001, 0000 \rbrace, \\ A^3 = A^2 A = \lbrace 111, 1100, 1001, 10000, 0011, 00100, 00001, 000000 \rbrace。$

$定义9.3.2.设A是V^{\ast}的子集，A的kleene闭包，记为A^{\ast},是A中任意多个\\ 符号串的串联。即A^{\ast} = \bigcup \limits _ {k=0} ^ {\infty} A^k。$

$例9.3.3.设A = \lbrace 0 \rbrace, B = \lbrace 0, 1 \rbrace, C = \lbrace 11 \rbrace, 问A、B、C的kleene闭包分\\ 别是什么？$
$解:A^{\ast} = \lbrace 0^n | n = 0, 1, 2, \cdots \rbrace, 设字母表V = \lbrace 0, 1 \rbrace, 则B^{\ast} = V^{\ast}。\\ C^{\ast} = \lbrace 1^{2n} | n = 0, 1, 2, \cdots \rbrace。$

$现在我们给出没有输出的有限状态机的定义，这种状态机也称有限状态自动机。$
$定义9.3.3.一个有限状态自动机M = (S, I, f, s_0, F),包含一个有限状态机集合S，\\ 一个有限输入字母表I，一个转换函数f，它为任意一个状态和输入对，给出下一个状\\ 态。一个初始状态s_0,一个S的子集F，它包含所有终止状态。$
$我们既可以用状态来表来表示有限状态自动机，也可以用状态图来表示有限状态自动\\ 机。在状态图中，终止状态用双圈来表示。$

$例9.3.4.构造有限状态自动机M = (S, I, f, s_0, F)的状态图，其中S = \lbrace s_0, s_1, s_2, \\ s_3 \rbrace, I = \lbrace 0, 1 \rbrace, F = \lbrace s_0, s_3 \rbrace, 转换函数f在表9.3.1.中给出。$
$解：状态图如图9.3.1所示。注意因为输入0和1都能使状态s_2变到状态s_0，\\ 所以我们在从s_2到s_0的边上标着0，1.$

表9.3.1
状态	f
	输入 0   1
$$\begin{array}{l} s_0 \\ s_1 \\ s_2 \\ s_3 \end{array}$$	$$\begin{array}{l} s_0 & s_1 \\ s_0 & s_2 \\ s_0 & s_0 \\ s_2 & s_1 \end{array}$$

$转换函数f可以被扩展，可以定义在所有的状态和输入符号串的对上。设x = x_1x_2\cdots \\ x_k是I^{\ast}中的一个符号串，那么f(s_1, x)是从s_1开始，依次从左到右读入x的每个符号后\\ 的状态。从s_1开始，我们得到s_2 = f(s_1, x_1),然后得s_3 = f(s_2, x_2),依次类推，有\\ f(s_1, x) = f(s_k, x_k)。一个符号串x说是被一个自动机M = (S, I, f, s_0, F)识别或\\ 接受，如果x可以让初始状态s_0变成终止状态，即f(s_0, x)是F中的一个状态的时候。\\ 被自动机M识别或接受的语言，记为L(M)，是所有被M识别的符号串的集合。两个\\ 有限状态机说是等价的，如果它们识别同样的语言。$

$例9.3.5.请给出被下图所示的有限状态自动机M_1,M_2,M_3识别的语言。$

$解：M_1只有一个终止状态s_0,让s_0变成它自己的符号串是含有零个或多个1的符号串，\\ 因此，L(M_1) = \lbrace 1^n | n = 0, 1, 2, \cdots \rbrace. \\ M_2只有一个终止状态s_2,让s_0变成s_2的符号串是1和01。所以L(M_2) = \lbrace 1, 01 \rbrace。\\ M_3的终止状态是s_0和s_3,让s_0变成它自己的符号串是\lambda,0, 00, 000, \cdots, 即零个或多\\ 个0组成的符号串，让s_0变成s_3的符号串是零个或多个0，后跟10，再后跟任何符号串\\ 的符号串。所以L(M_3) = \lbrace 0^n, 0^n10x | n = 0, 1, 2, \cdots, x是任何符号串 \rbrace。$

$到现在为止我们所讨论的有限状态自动机是确定的，因为给定一个状态和输入对，转换\\ 函数都给出一个唯一确定的下一个状态做为函数值。还有另外一种重要的有限状态自动\\ 机，它为一个状态和输入对可以给出几个状态做为函数值。这样的自动机称为非确定的。\\ 非确定的自动状态机在确定是否一个语言被一个有限自动机所识别方面非常重要。$

$定义9.3.4.一个非确定的有限状态自动机M = (S, I, f, s_0, F),包含一个有限状态集合\\ S，一个有限输入字母表I，一个转换函数f,它为任意一个状态和输入对，给出一个状态\\ 集合。一个初始状态s_0,一个S的子集F，它包含所有终止状态。$
$我们仍然可以用状态表和状态图来表示确定的有限状态自动机。用状态表时，为每一个状\\ 态和输入的对，都给出一个所有可能的下一个状态列表。在状态图中，包括从一个状态到\\ 所有可能的下一个状态的边，边上标着所有导致这些转换的输入。$

$例9.3.6.给出下列表所示的非确定的有限状态自动机的状态图，终止状态是s_2和s_3.$

状态表
状态	f
	输入0   1
$s_0$ $s_1$ $s_2$ $s_3$	$s_0,s_1$ $s_0$ $s_0,s_1,s_2$	$s_3$ $s_1,s_3$ $s_0,s_2$ $s_1$

$例9.3.7.请给出下图所示的非确定有限状态自动机的状态表。$

$解：状态表如下表所示。$

例9.3.7的状态表
状态	f
	输入0   1
$s_0$ $s_1$ $s_2$ $s_3$ $s_4$	$s_0,s_2$ $s_3$ $s_3$ $s_3$	$s_1$ $s_4$ $s_4$ $s_3$

$一个非确定的有限状态自动机识别了一个符号串x=x_1x_2 \cdots x_k是什么意思呢？\\ 第一个输入的符号x_1让初始状态s_0变成了一个状态集合s_1，下一个输入的符号x_2\\ 让状态集合s_1的每个状态又变成了一个状态集合，设s_2是这些集合的并集，反复进\\ 行这个过程。如果读入符号串x后，最后得到的状态集合中有终止状态，那么我们就\\ 称识别了符号串x，被一个非确定的有限状态自动机识别的语言是所有被自动机识别\\ 的符号串的集合。$

$例9.3.8.请给出被下图所示的有限自动机识别的语言。$

$解：因为s_0是一个终止状态，并且当输入是0时，有一个转换将状态s_0变成它自身，所以\\ 这个自动机能识别零个或多个连续的0.另外因为s_4是一个终止状态，所以能让初始状态变\\ 成的状态集合里包含s_4的符号串也能被这个自动机识别，满足这个条件的符号串是零个或\\ 多个连续的0后跟01或11。因为终止状态只有s_0,s_4,所以这个自动机识别的语言是\\ \lbrace 0^n, 0^n01, 0^n11 | n \geq 0 \rbrace。$

$定理9.3.1.如果一个语言L能被一个非确定的有限状态自动机M_0识别，那么它也能被\\ 一个确定定有限状态自动机M_1识别。$
$证明：我们将说明如何构造一个确定的有限状态自动机M_1,使得它能识别一个非确定\\ 的有限状态自动机M_0识别的语言L。M_1中的状态是由M_0中的状态集形成的，M_1\\ 的初始状态是包含M_0的初始状态的集合\lbrace s_0 \rbrace, M_1的输入集合与M_0的输入集合一样，\\ 对于M_1的一个状态\lbrace s_{i1}, s_{i2}, \cdots, s_{ik} \rbrace, 输入符号x把这个状态变成\lbrace s_{i1}, s_{i2}, \cdots, s_{ik} \rbrace\\ 的元素的下一个状态集合的并集，即集合f(s_{i1}), f(s_{i2}), \cdots, f(s_{ik})的并集。M_1的状\\ 态是所有用这种方法藏s_0得到的M_0的状态集S的子集。(在确定的有限状态自动机中最\\ 多有2^n个状态，这里n是非确定的自动机的状态数)。M_1的终止状态是包含M_0的终止\\ 状态的集合。设一个输入符号串被M_0识别，那么这个符号串使状态从s_0变成的状态中\\ 有一个是终止状态。这就说明在M_1中，这个输入串使得状态从\lbrace s_0 \rbrace变成包含一个终止\\ 状态M_0的状态的集合，这个子集是M_1的一个终止状态，所以这个符号串也被M_1识别。\\ 同理，不被M_0识别的符号串，不能得到任何M_0的终止状态，因此，这个输入串在M_1\\ 中，也不能从初始状态开始得到M_1的终止状态。$

$例9.3.9.请给出与下图中非确定的有限状态自动机识别同样语言的确定的有限状态自动机。$

$解：确定的有限状态自动机的状态是所有非确定的有限状态自动机的一些子集，当输入\\ 一个符号时，一个子集的下一个状态包含这个子集中所有元素在非确定的有限自动机中\\ 的下一个状态的子集。例如，对于输入0, \lbrace s_0 \rbrace变成 \lbrace s_0, s_2 \rbrace,因为在非确定的有限自动机\\ 中，s_0变成它自己和s_2,对于输入1，\lbrace s_0, s_2 \rbrace 变成 \lbrace s_1, s_4 \rbrace, 因为在非确定的有限自动机\\ 中，在输入是1的情况下，s_0变成s_1,s_2变成s_4,等等。确定的有限状态自动机包含所有用\\ 这种方法得到的子集。值得注意的是空集合也是这个自动机的一个状态，因为它是包含状\\ 态\lbrace s_3 \rbrace在输入是1的所有的下一个状态的子集。初始状态是\lbrace s_0 \rbrace,终止状态是所有包含s_0\\ 或者s_4的集合。$