Finomaton lets you comfortably draw and typeset
finite state machines (automata) and similar graphs. The resulting graphs are exported to plain MetaPost and can be
included in TeX and LaTeX documents for excellent
typesetting quality. States are magnetic to facilitate connection, and any TeX command can be embedded in the labels of states and lines.