Finite-state automata in LaTeX

In a really old post on [email protected]">[email protected] (Jan 27 2003), Mark Zimmerman suggests the use of metapost to generate pretty finite state automata in LaTeX. Peter Jenke suggests xypic, which Nori Heikkinen likes.