Visualizes finite state automata, various functions for dealing with underlying graph and working with linear representations.
