> Any suggestions for drawing pushdown automata using TiKZ (or some > other LaTeX-friendly package)? I have found Terry Brown's flow program useful for similar things to this: http://www.tex.ac.uk/tex-archive/help/Catalogue/entries/flow.html Regards, Matthew