Finite automata in LaTeX

  sachac: hey, remember I asked for something to draw FA's
 [finite automata] with, that was closely connected to LaTeX?
  sachac: well, I found something that seems to beat both
 xypic and metapost, "dot" from graphviz
  • I will see your dot and raise you Vaucanson-G.

  • Wow, that’s an old post. And yay domain languages implemented using macros!