编译原理之确定有限自动机的最小化

最小化确定有限自动机 最小化下图的有限自动机DFA。 概念补充（不懂没关系，直接示范） DFA化简定义：找一个状态数比原来得确定有限自动机状态数少得确定有限自动机，但是表示得语言和原来的确定有限自动机相同 状态等价： 状态s和t等价，意味着从s和t出发，读出识别同一个字符α，都到达了终态，那么这两个状态s和t是等价的 状态可区分： 状态s和t可区分，存在一个字符α，分别让s和t读取之后，分别处于终

>>阅读原文<<