https://www.theoryofcomputation.co/equivalence-of-automata/