Finomaton is a TCL program that allows users to comfortably draw and typeset finite state machines (automata). The resulting graphs can be exported to plain MetaPost and subsequently be included in TeX and LaTeX documents for excellent typesetting quality. In contrast to many other packages, the mouse can be used to interactively move objects around. States are magnetic to facilitate connection, and any TeX command can be embedded in the labels of states and lines.

The author is Markus Triska. The package is Copyright © 2003,2006,2007 Markus Triska.