Minimization of Finite State Automata (FSA) - includes classical algoritthms: Union/Find & Transitive closure - View it on GitHub