第02章 式语言与自动机理论.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 有穷自动机 有穷自动机 确定的有穷自动机DFA NFA与DFA的等价性 不确定的有穷自动机NFA DFA的化简 有穷自动机的工作过程： 控制器处于 “开始状态” 每当读头读入一个符号，控制器 进行“状态转换”到达“后继状态” ， 同时读头右移一个符号位。 有穷自动机 控制器 输入带 需要解决的问题： （1）输入带上存放什么样的符号串？ （2）控制器的状态如何进行转换？ （3）这种“读入-转换”过程如何结束？ 1．DFA的形式定义（Deterministic Finite Automata） 定义： 五元组 M =（Q，Σ，δ，q0，Z ） 确定的有穷自动机DFA 每个元 素称一 个状态 每个符号称为一个输入符号 Q×Σ→Q的 单值映射， δ(q1，a)=q2：在q1状态下遇 a转到q2状态，q2为q1的后继 q0 ∈Q 初态唯一 Z?Q 有穷状态集 有穷字母表 状态转换函数 终态集 初态 0 1 2 3 0 1 1 0 0 1 ? （2）状态转换图 （1）状态转换矩阵 2. DFA的表示 0 0 0 2 1 0 0 3 1 1 2 2 3 2 1 1 ? 字符 状态 【例2-27】DFA M=（Q, Σ, δ, q0 , Z） Q = { 0，1，2，3 } δ函数： Σ= { 0，1} δ(0，0)=1 δ(1，1)=2 q0= 0， δ(2，0)=2 δ(2，1)=3 Z = {3} δ(3，0)=2 δ(3，1)=1 确定的有穷自动机DFA 3.2 有穷自动机 DFA的意义： 对于Σ*中的任何字符串t，若存在一条从初态到终态的路径（该路径 上的字符串为t），则t 可为DFA M所接受（或说t 是该DFA可识别的）。 若初态结也是终态结，则空字可接受。 DFA M 所能接受的字符串的全体称为该自动机识别的语言，记为L(M)。 结论： Σ上的一个字符串集U是正规的，当且仅当存在一 个Σ上的确定的 有穷自动机DFA M，使U=L(M)。 确定的有穷自动机DFA 3.2 有穷自动机 1．NFA的形式定义（Nondeterministic Finite Automata） 定义： 五元组 M =（Q，Σ，δ，Q0，Z ） 不确定的有穷自动机NFA 每个元 素称一 个状态 每个符号称为一个输入符号 Q×Σ→2Q 的映射函数， 2Q是Q的幂集 Q0 ? Q Z?Q 有穷状态集 有穷字母表 状态转换函数 终态集 非空初态集 3.2 有穷自动机 2. NFA的表示 字符 状态 ? 0 0 0 1 1 0 1， 1 1 2 2 1 状态转换矩阵 状态转换图 0 1 2 0 1 0, 1 ? 与DFA的异同点： 在某状态下遇某输入符到达的后继状态是不唯一的; NFA的初态也可以不唯一; NFA的意义与DFA一样。 不确定的有穷自动机NFA 3.2 有穷自动机 若两个有穷自动机FA M和FA M ?所识别的语言L(M)=L(M ?)， 则说M和M ?等价。 1. FA的等价定理 NFA与DFA的等价性 定理3-2 对于每一个NFA M，