drawing DFAs
misc edits, and adding some DFA diagrams