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.