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.
[image: http://stud4.tuwien.ac.at/~e0225855/finomaton/snapshot1.png ]
