Are there programs specialized in writing automata theory on the computer? Google didn\'t yield anything useful and I am completely at a loss...
