2000 character limit reached
Illustrating Finite Automata with Grail+ and TikZ
Published 3 Apr 2024 in cs.FL | (2404.03039v1)
Abstract: 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.
- Igor Borja. An introduction to automata design with TikZ’s automata library. TUGboat: The Communications of the TEX Users Group, 44(1):102–107, 2023.
- Department of Computer Science, University of Prince Edward Island. Theory of Computing Software Server. http://grail.smcs.upei.ca.
- Grail+{}_{+}start_FLOATSUBSCRIPT + end_FLOATSUBSCRIPT Visualizer. https://github.com/flarelabstfx/Grail-Visualisation.
- The jflap2tikz package. https://ctan.org/pkg/jflap2tikz.
- Typesetting figures for computer science. TUGboat: The Communications of the TEX Users Group, 35(2):179–191, 2014.
- Grail: A C++absent{}_{++}start_FLOATSUBSCRIPT + + end_FLOATSUBSCRIPT library for automata and expressions. Journal of Symbolic Computation, 17(4):341–350, 1994.
- JFLAP: An Interactive Formal Languages and Automata Package. Jones & Bartlett Publishers, Sudbury, MA, 2006.
- Till Tantau. The TikZÂ and PGF Packages: Manual for Version 3.1.10, January 2023.
- The PGF/TikZÂ Team. The pgf package. https://ctan.org/pkg/pgf.
- William T. Tutte. How to draw a graph. Proceedings of the London Mathematical Society, s3-13:743–767, 1963.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
