In a really old post on debian-user@lists.debian.org“>debian-user@lists.debian.org (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.