形式语言与自动机有穷自动机案例.pptVIP

两个有穷自动机的等价性，是指它们接受的语言相同。 两类有穷自动机的等价性，是指当任意给出某类中一个有穷自动机，一定存在另一类中的一个有穷自动机，使它们接受相同的语言。 DFA可以看成是NFA的特例，故任何一个DFA接受的语言，相应的一个NFA也能接受。反过来，就不那么明显，是需要详细论证的。 不介绍例子3.6的具体内容，只是说明这是一个机械化的循环算法过程，可以用设计程序来实现。 * NFA → DFA: 消除无用的状态 1 0 0, 1 q0 q1 q2 NFA: DFA: {q0, q1} {q0, q2} {q0} 0 1 0 1 0 1 {q0, q1, q2} 0 1 0 {q1, q2} {q1} {q2} ? 0 1 , 1 0 1 0, 1 将DFA中不可达的状态消除掉。 * 南京航空航天大学计算机学院 胡军 * 子集构造法的一般步骤 NFA DFA 状态 q0, q1, …, qn φ, {q0}, {q1}, {q0,q1}, …, {q0,…,qn} 每个状态都是NFA的一个子集。 初始状态 q0 {q0} 转换 d d’({qi1,…,qik}, a) = d(qi1, a) ∪…∪ d(qik, a) 接受状态 F í Q F’ = {S: S 包含 F中至少一个状态} * 南京航空航天大学计算机学院 胡军 * NFA-DFA等