Finite-state_machine it's implementation of Finite-state machine. you give your transition Matrix and program will draw graph of matrix (using graphviz), adjacent list, if graph has loop you can delete it and see the graph result.