You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
最⼩小化算法(构造部分)<br />
4. 在П final 的每个组中选择一个状态作代表,最为最小<br />
DFA的状态<br />
开始状态就是中包含原开始状态的组的代表<br />
接受状态就是包含了原接受状态的组的代表<br />
转化关系构造如下:<br />
如果s是中G的代表,而s在a上的转换到达t,而t所在组的代表<br />
为r,那么最小DFA中有从s到r的、在a上的转换。