Illustrating Finite Automata with Grail+ and TikZ
<|reference_start|>Illustrating Finite Automata with Grail+ and TikZ: In this article, we discuss a new software tool that interacts with Grail+, a library of automata-theoretic command-line utilities. Our software, the Grail+ Visualizer, takes the textual representation of a finite automaton produced by Grail+ and generates TikZ code to illustrate the finite automaton, with automatic layout of states and transitions. In addition to giving an overview of the basics of automata theory and Grail+, we discuss how the Grail+ Visualizer works in detail and suggest avenues for future work.<|reference_end|>
@article{may2024illustrating,
    title={Illustrating Finite Automata with Grail+ and TikZ},
    author={Alastair May, Taylor J. Smith},
    journal={arXiv preprint arXiv:2404.03039},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.03039},
    primaryClass={cs.FL}
}