第03章有穷状态自动机-1118节课-2013-10-15.ppt

图3-5 接受语言 {x000| x ? {0, 1}*} ?{x001| x ? {0, 1}*}的DFA 定义3-6 设M = (Q, ?, ?, q0, F)为一个FA，对?q ? Q，能引导FA从开始状态q0 到达q的字符串的集合为 set(q) = {x| x ? ?*, ?(q0, x) = q} 根据状态进行划分 根据图3-5所给的DFA， set(q0) = {x| x? {0, 1}*, x = ?或x以1但不包括001结尾} set(q1) = {x| x? {0, 1} *, x = 0或x以10结尾} set(q2) = {x| x? {0, 1} *, x = 00或x以100结尾} set(q3) = {x| x? {0, 1} *, x以000结尾} set(q4) = {x| x? {0, 1} *, x以001结尾} 它们是对{0, 1}*的划分 例3-5 构造一个接受语言{x | x ? {0, 1}*, 且当把x看成 二进制数时，x模3与0同余}的DFA 分析：模3同余自然就构成了二进制数的一个划分。 该划分导致3个集合： {3n| n为非负整数}，其元素包括{0, 11, 110, 1001,…}; {3n + 1| n为非负整数}，其元素包括{1, 100, 111, 1010,…}; {3n + 2| n为非负整数} ，其元素包括{