确定的有限状态动机Deterministic Finite Automaton, DFA.pptVIP

确定的有限状态自动机Deterministic Finite Automaton, DFA 付国宏 黑龙江大学计算机科学技术学院ghfu@hlju.edu.cn 提 要 主要内容 FA的非形式化描述及其应用 有穷状态自动机形式定义及其简洁表示 DFA：如何接受语言、即时描述、DFA构造 重点 FA与DFA相关概念的理解 DFA构造 难点 对DFA概念的理解； DFA的构造方法 FA的非形式化描述 有穷自动机 具有离散输入和输出系统的一种数学模型； 自动机接受一定的输入，执行一定的动作产生一定的结果； 通过状态转移描述整个动作过程； 状态：一种标识，能区分自动机在不同时刻的状况； 有限状态自动机具有任意有限数目的内部状态； 自动机的本质：根据状态、输入和规则决定下一个状态 状态+输入+规则---状态转移 FA的物理模型 FA的应用 应用之一：人、狼、羊和白菜过河问题 一个人带着狼、山羊和一筐白菜在一条河的左岸，准备过到河的右岸； 但只有一条小船，每次只能装下这个人和一件东西摆渡过河； 若狼和羊留在同一岸无人照顾，狼会吃掉羊； 若羊和白菜留下来无人照顾，羊会吃掉白菜； 问题： 是否有可能渡过河去，使得羊和白菜都不被吃掉? FA的应用 (cont.) 问题的形式化和模型化 符号化：m-人；w-狼；g-羊；c-白菜； 系统的输入：人采取的行动 他可以单独横渡，输入为m； 带狼一起横渡，输入w； 带羊一起横渡，输入g； 带白菜一起横渡，输入c； 系统的状态：L-R mg-wc gc-mw 开始状态：mwgc-Φ 终止状态：Φ-mwgc FA的应用 (cont.) FA的应用 (cont.) 应用之二：打电话 在一次呼叫过程中，从拨号连接到通话结束，要经历摘机、拨号、应答、通话、挂机等动作； 系统状态：定义5个状态 q0----空闲状态； q1----等待拨号状态； q2----可以拨号状态； q3----等待应答状态； q4----通话状态； 系统输入 摘机、收到拨号音、收齐号码、收到应答信号、挂机 开始状态：空闲状态 终止状态：空闲状态 FA的应用 (cont.) FA的应用 (cont.) 应用之三：串口通信 两台计算机通过串口通信, 需在两台机器间建立好连接后，才可以传递数据 可以使用FA描述串口通信的状态 FA的五个要素 一个有穷状态集 不同的状态代表不同的意义； 一个输入符号集 一个开始状态 系统开始处理输入的状态 一个终止状态集 系统停止的状态 状态转移函数 控制系统状态的转移 FA的形式定义 有穷状态自动机(finite automaton, FA) 五元组： M=(Q, ∑, δ, q0, F) FA的简洁表示 状态转移图(transition diagram) q∈Q ? q是该有向图中的一个顶点； δ(q, a)=p ? 图中有一条从顶点q到顶点p的标记为a的弧； q∈F ? 标记为q的顶点被用双层圈标出； 用标有S的箭头指出M的开始状态； FA的简洁表示 (cont.) 状态转移表 确定的有穷状态自动机 确定的有穷状态自动机 给定FA，?q∈Q， a∈∑，如果δ(q,a)均有确定的值； 该FA称为确定的有穷状态自动机(deterministic finite automaton，DFA)。 把状态函数扩展到串 设DFA M=(Q, ∑,δ, q0, F) δ: Q×∑→Q 扩展δ定义 δˊ: Q×∑*→Q 对任意的q∈Q，w∈∑*，a∈∑，定义 (1) δˊ(q, ε)=q； (2) δˊ(q, wa)= δ(δˊ(q, w), a)； 可以不区分δ(q, a)和δˊ(q, a) δˊ(q, a)= δˊ(q, εa)= δ(δˊ(q, ε), a)= δ(q, a) DFA接受的语言 DFA接受(识别)的字符串 ?x∈∑*， 如果δ(q, x)∈F，则称x被M接受； 如果δ(q, x)?F，则称x不被M接受； DFA接受(识别)的语言 L(M)={x| x∈∑*且δ(q0,x)∈F} 如果L(M1)=L(M2)，则称M1与M2等价 DFA如何接受语言 例：设有如下表所示的DFA M，判断输入串110101能否被M接受? (1) 利用状态转移图 DFA如何接受语言(cont.) (2) 利用扩展转移函数 判断δˊ(q, 110101)∈{q0}？ 从ε开始，长度逐渐增加，对110101的每个前缀w计算δˊ(q, w) δ′ (q0, ε)=q0； δ′ (q0, 1)= δ(δ′(q0, ε), 1)=δ(q0, 1)=q1； δ′ (q0, 11)=δ(δ′(q0, 1), 1)=δ(q1, 1)=q0； δ′ (q0, 110)=δ(δ′(q0, 11),