DFA（确定的有穷自动机）的化简

1.实验内容 每一个正规集都可以由一个状态数最少的DFA所识别，这个DFA是唯一的（不考虑同构的情况）。任意给定的一个DFA，根据以下算法设计一个C程序，将该DFA化简为与之等价的最简DFA。 2.实验设计分析 2.1 实验设计思路     根据实验指导书和书本上的相关知识，实现算法。 2.2 实验算法 （1）构造具有两个组的状态集合的初始划分I：接受状态组 F 和非接受状态组 Non-F。 （2

>>阅读原文<<