Finomaton lets you comfortably draw and typeset finite state machines (automata). It outputs plain MetaPost-code which can be transformed to PostScript and subsequently included in your TeX and LaTeX documents for excellent typesetting quality.