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. (Source: