For finite state automata, someone who wishes to remain anonymous uses
gastex
(http://www.liafa.jussieu.fr/~gastin/gastex/gastex.html). Thanks for
the tip!