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.

Available at: http://www.logic.at/prolog/finomaton/finomaton.html

---

See: Swap

---