DFA化简程序 主流程图
2017-03-27 20:43:41 0 举报DFA化简程序主流程图主要包括以下几个步骤：首先，输入一个确定的有限状态自动机；然后，通过一系列的算法和操作，如子集构造、等价类划分、最小化等，对输入的DFA进行化简；接着，输出化简后的DFA；最后，检查化简后的DFA是否满足题目要求。在整个过程中，可能会涉及到一些辅助性的操作，如状态转移表的构建、状态集合的更新等。整个流程图简洁明了，逻辑清晰，便于理解和实现。
作者其他创作
大纲/内容
是
否
开始
消除所有组内映射，将所有跳转到(来自)组外映射的起点(终点)都用该分组的代表状态替代
输出修改后的全部映射函数
从groups中取出一个分组
是否还有未判断的输入符号
当分组中的状态遇到该输入符号的时候，跳转到的状态是否属于不同分组
使用每一个分组的第一个状态代替该分组中其他状态，输出替代情况
将当前分组记为不可分分组
将所有的状态划分为两组：接受状态组、非接受状态组
从输入符号集合中取出一个输入符号
将两个分组加入分组链表groups
结束
将当前分组按照跳转情况进行划分，得到新的分组，将新的分组追加到groups链表末尾，并从groups链表中移除旧的分组
groups链表中是否还有下一个待划分分组
输出分组情况
0 条评论
下一页
为你推荐
查看更多
