将不可达状态从DFA中移去并不会影响其接受的语言。
等价状态.
Hopcroft算法.根据 ，以下算法可用来合并等价状态。该算法基于划分细化，按照状态的行为将DFA各状态分组。这些分组即Myhill-Nerode等价关系下的等价类，满足同一等价类中的两个状态在相同的输入下有相同的行为。即对划分中属于同一等价类的任意两个状态 formula_6 和 formula_7，对所有输入串 formula_4，formula_4 所导致的转移应当始终将 formul