04 2014 档案

摘要:原始DFA如下图所示最小化的定义:1.没有多余的状态(死状态);2.没有两个状态是相互等价的;两个状态等价的含义:1.兼容性(一致性)——同是终态或同是非终态;2.传播性(蔓延性)——从s出发读入某个a和从t出发经过某个a并且经过某个b到达的状态等价。令M为DFA中所有状态的集合。1.开始做粗略划分... 阅读全文
posted @ 2014-04-27 23:54 WendellYih 阅读(20051) 评论(5) 推荐(1) 编辑
摘要:下面图使用NFA表示的状态转换图,使用子集构造法,有如下过程,ε-closure(0) = {0, 1, 2, 3, 4, 6, 7}初始值,令为AA = {0, 1, 2, 3, 4, 6, 7}标记Amove(A, a) = {3, 8}Dtran[A, a] = {1, 2, 3, 4, 6,... 阅读全文
posted @ 2014-04-25 00:43 WendellYih 阅读(1210) 评论(1) 推荐(0) 编辑

点击右上角即可分享
微信分享提示