计算理论课件第二章.ppt

第二章 有限自动机和正规文法 2.1 确定的有限自动机(DFA) (Determinate Finite Automaton ) ? 有限自动机是研究自动系统的一种数学模型，它出现 于本世纪四十年代。 1943年由McCulloch与Pitts建立了模拟神经网络的自动机, 1956年由Moore建立了描述计算机的时序机的概念。 以后自动机的理论日趋发展，并且与计算机的信息处理 密切结合，它不仅用于研究计算机的结构，还用于研究 形式语言——语言的识别。 在这里主要是从识别语言这方面来研究自动机。 一.有限自动机(FA)的结构 有限自动机由三部分构成： 1.输入带 输入带可以任意长，带上 有若干单元，每个单元内 有输入符号。输入带上存 放的是被有限自动机识别 的符号串。如图所示， 输入带上的符号串为： a1 a2 a3 … an。 2.读头 读头是将输入带上的符号读到有限控制器中，每次读 一个单元的符号。 3.有限控制器 有限控制器是有限自动机的核心。 有限自动机有多个状态，有一个开始状态，还 有若干个终止状态。 自动机每读带上一个符号,状态可能发生变化， 然后读头右移一个单元。 自动机如何从开始状态出发，识别完带上的整 个符号串后，要进入某个终止状态，这个过程就 是由有限控制器控制的。 二.确定的有限自动机(DFA)的形式描述 定义：确定的有限自动机M写成有序五元组，记 作M=(K,∑,δ, q0 ,F) 其中， K——有限自动机的状态的有限集合。 ∑——输入带上的有穷字母表。 δ——状态转移函数,是 K×∑→K 的映射。 例如，δ(q,a)= p (其中q,p∈K , a∈∑ ), 表示在 q状态下，读a后，状态改为p ,然后，将读头右移 一个单元。 q0 ——开始状态 q0∈K F—— 终止状态集合， F? K 作业题 1．设计一个有限自动机(FA) M，使得T(M)中的每个句子w同时满足下面三个条件： 1) w∈{a,b,}*； 2) |w|是3的整数倍； 3) w以a开头，以b结尾。 2．设计二个FA M1和M2，分别满足 T(M1)={02i∣i是自然数} T(M2)={02i+1∣i=0,1,2,3,4,…} 2.2 不确定的有限自动机（NFA）(Non-deterministic Finite Automaton) DFA是在每个状态下，读一个符号后的下一个状态是 唯一确定的，下面讨论的有限自动机是在某个状态下， 读一个符号后的下一个状态可能不是唯一确定的，这就 是不确定的有限自动机。 一.不确定的有限自动机（NFA）的形式定义 定义：不确定的有限自动机M，用一个有序五元组表示： M=(K,∑,δ,q0 ,F) 其中， K、 ∑ 、q0 、 F 的含义同 DFA。 δ—状态转移函数, 是 K×∑→2K 的映射。 例.δ(q,a)={p,s} (其中q∈K,{p,s}∈2K a∈∑ ) 【例2-2.1】 .给定NFA M， M=(K,∑,δ,q0 ,F) 其中，K={q0,q1,q2,q3,q4} ∑={0,1} F={q2,q4} δ：K×∑→2K 为： M’的图： 证明：T(M’)=T(M) 1.先用归纳法证明(对输入符号串|x|归纳)下面命题成立： 对于任何x∈∑*， δ’(q0’ x)=[q1,q2,…,qn] 当且仅当 δ(q0,x)={q1,q2,…,qn} (1) 当|x|=0，即x=ε时，δ’(q0’,ε)=q0’=[q0] 当且仅当 δ(q0 ,ε)={q0}，命题成立。 (2) 假设|x|≤k 时，命题成立。即 δ’(q0’,x)=[p1,p2,…,pj] 当且仅当δ(q0,x)={p1,p2,…,pj} (3) 当|xa|=k+1 时，a∈∑,有 δ’(q0’,xa)=δ’(δ’(q0’,x),a) δ(q0,xa)=δ(δ(q0,x),a) 因为|x|=k,由假设(2)得δ’(q0’,x)=[p1,p2,…,pj] 当且仅当 δ(q0,x)={p1,p2,…,pj}。故δ’(q0’,xa)=δ’([p1,p2,…,pj],a) 当且仅当 δ(q0,xa)=δ({p1,p2,…,pj},a) ，所以命题成立。 2. 再证明T(M’)=T(M)