Automata Visualization: Grail+ and TikZ Integration for Illustrating Finite State Machines

A new software tool, the Grail+ Visualizer, automatically generates TikZ code to illustrate finite automata from the textual output of the Grail+ automata-theoretic command-line utilities.