AutomaTikZ is a tool designed for the LaTeX document preparation system that allows users to generate figures of finite automata automatically from regular expressions. AutomaTikZ uses Grail to process the regular expression and TikZ to generate the figure.
To use AutomaTikZ, you must have the Grail software package available on your computer at /usr/local/bin. The currently-supported version of Grail is 3.4.4.
You can download Grail from the Theory of Computing Software Server hosted at the University of Prince Edward Island.