Introduction - If you have any usage issues, please Google them yourself
Simplify the DFA-for a defined automaton M = (K, Σ, Δ, s, F), set p, q ∈ K, if for any string w, from p along w up to a certain destination if and only if along w from q up to a certain destination, then that p, q equivalent is recorded as p ≡ q. Moreover, ≡ an equivalence class is just the least number of states determine the type of a state automaton