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! :P )
Please let me know if there's a better SE site for this.