JFlap is an excellent piece of software for experimenting with finite state machines, Turing machines and exploring many aspects of the theory of computation. JFlap2TikZ is a groovy script that converts a JFlap jff file representing a finite automaton, push down automaton, or Turing machine to LaTeX file depicting the automaton graphically using TikZ.

The author is Andrew Mertz.