4 ms·tikz is awesome for this. I believe that DFAs are one of the examples described in the manual.by emillon 14y agotikz is awesome for this. I believe that DFAs are one of the examples described in the manual.