Someone emailed me, asking if I knew of any packages that simulated various kinds of automata for visualizing their behaviour. I did some sniffing around, and found this package.
It simulates DFAs, NFAs, DPDAs, and Turing machines. From the interface, it doesn't appear to be that useful for large scale automaton construction, but is easy to play with interactively. Runs in Java.