struggling on the def of similarity
restructured and added a dfa->dot visualization function
Merge branch 'imp'
Merge branch 'automata'