Generalize FA over State and alphabet, add DFA->NFA conversion
Some directed graphs (to facilitate Graphviz printing in the future)