2014年4月27日
DFA最小化实例
摘要： 原始DFA如下图所示最小化的定义：1.没有多余的状态（死状态）；2.没有两个状态是相互等价的；两个状态等价的含义：1.兼容性（一致性）——同是终态或同是非终态；2.传播性（蔓延性）——从s出发读入某个a和从t出发经过某个a并且经过某个b到达的状态等价。令M为DFA中所有状态的集合。1.开始做粗略划分... 阅读全文
posted @ 2014-04-27 23:54 WendellYih 阅读(20052) 评论(5) 推荐(1) 编辑