定义934一个非确定的有限状态自动机M-吉林大学网络教育学院.PPT

定义9.3.4 一个非确定的有限 状态自动机M=(S，I，f，s0，F)， 包含一个有限状态集合S，一个有 限输入字母表I，一个转换函数f， 它为任意一个状态和输入对，给 出一个状态集合。一个初始状态s0， 一个S的子集F，它包含所有终止状态。 我们仍然可以用状态表和状态图来表示非确定的有限状态自动机。用状态表时，为每一个状态和输入的对，都给出一个所有可能的下一个状态列表。在状态图中，包括从一个状态到所有可能的下一个状态的边，边上标着所有导致这个转换的输入。 一个非确定的有限状态自动机 识别了一个符号串x=x1x2…xk 是什么意思呢？第一个输入的 符号x1让初始状态s0变成了一个 状态集合S1，下一个输入的符 号x2让状态集合S1的每个状态又 变成了一个状态集合，设S2是这 些集合的并集，反复进行这个过程。如果读入符号串x后，最后得到的状态集合中有终止状态，那么我们就称识别了符号串x，被一个非确定的有限状态自动机识别的语言是所有被自动机识别的符号串的集合。 解： 因为s0是一个终止状态， 并且当输入是0时，有一个转 换将状态s0变成它自身，所以 这个自动机能识别零个或多个 连续的0。另外因为s4是一个 终止状态，所以能让初始状态 变成的状态集合里包含s4的符 号串也能被这个自动机识别，满足这个条件的符号串是零个或多个连续的0后跟01或11。因为终止状态只有s0，s4，所以这个自动机识别的语言是{0n，0n01，0n11|n≥0}。 定理9.3.1 如果一个语言L能 被一个非确定的有限状态自动 机M0识别，那么它也能被一个 确定的有限状态自动机M1识别。 证明：我们将说明如何构造一个 确定的有限状态自动机M1，使得 它能识别一个非确定的有限状态 自动机M0识别的语言L。M1中的状态是由M0中的状态集形成的，M1的初始状态是包含M0的初始状态的集合{s0}，M1的输入集合与M0的输入集合一样，对于M1的一个状态{si1，si2，…，sik}，输入符号x把这个状态变成{si1，si2，…，sik}的元素的下一个状态集合的并集，即集合f(si1)，f(si2)，…,f(sik)的并集。 M1的状态是所有用这种方法从 s0得到的M0的状态集S的子集。 (在确定的有限状态自动机中最 多有2n个状态，这里n是非确定的 自动机的状态数。) M1的终止状 态是包含M0的终止状态的集合。 设一个输入符号串被M0识别，那 么这个符号串使状态从s0变成的状态中有一个是终止状态。这就说明在M1中，这个输入串使得状态从{s0}变成包含一个终止状态的M0的状态的集合，这个子集是M1的一个终止状态，所以这个符号串也被M1识别。同理，不被M0识别的符号串，不能得到任何M0的终止状态，因此，这个输入串在M1中，也不能从初始状态开始得到M1的终止状态。 * 吉林大学远程教育课件 主讲人: 杨凤杰 学 时：64 (第五十九讲) 离散数学 状态表 ? ? 状态 f 输入 0 1 s0 s1 s2 s3 s0，s1 s0 ? s0，s1，s2 s3 s1，s3 s0，s 2 s1 1 0,1 1 1 0 0 0 0 0 s3 s2 开始 s0 s1 1 1 左表所给定的非确定有限自动机的状态图 例9.3.6 给出下表所示的非确 定的有限状态自动机的状态图， 终止状态是s2和s3。 解：这个自动机的状态图右下图所示。 表 ? ? 状态 f 输入 0 1 s0 s1 s2 s3 s4 s0，s2 s3 ? s3 s3 s1 s4 s4 ? s3 例9.3.7 请给出下图所示的非 确定有限状态自动机的状态表。 解： 状态表如下表所示。 1 1 1 0 0 0 0 s4 s3 S2 s1 s0 开始 0，1 一个非确定的有限自动机 1 1 1 0 0 0 0 s4 s3 S2 s1 s0 开始 0，1 一个非确定的有限自动机 例9.3.8 请给出被下图所示的 有限自动机识别的语言。 *