jflap2tikz – Con­vert JFlap file into a LaTeX file de­pict­ing the au­toma­ton us­ing TikZ

JFlap is an ex­cel­lent piece of soft­ware for ex­per­i­ment­ing with fi­nite state ma­chines, Tur­ing ma­chines and ex­plor­ing many as­pects of the the­ory of com­pu­ta­tion. JFlap2TikZ is a groovy script that con­verts a JFlap jff file rep­re­sent­ing a fi­nite au­toma­ton, push down au­toma­ton, or Tur­ing ma­chine to LaTeX file de­pict­ing the au­toma­ton graph­i­cally us­ing TikZ.