I'm looking for a program or utility to help construct DFA/NFA/PDA etc. and the like.
The main reason I'm interested in this, is because I want to be able to move the various states around without breaking their component connections, or having to redraw all the connections to their new place (otherwise I'd be doing this by hand! 😛 )
Please let me know if there's a better SE site for this.
Best Answer
If you want to construct and test and play with your automata, you might find JFlap usefull.
If you want to produce images and are familiar with LaTeX then TikZ is great (TikZ automata examples)
If you want to produce images maybe a vector drawing tool like Inkscape