Illustrating Finite Automata with Grail+ and TikZ
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909160387379200 |
|---|---|
| author | May, Alastair Smith, Taylor J. |
| author_facet | May, Alastair Smith, Taylor J. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_03039 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Illustrating Finite Automata with Grail+ and TikZ May, Alastair Smith, Taylor J. Formal Languages and Automata Theory 68-04 (primary), 68Q45 (secondary) 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. |
| title | Illustrating Finite Automata with Grail+ and TikZ |
| topic | Formal Languages and Automata Theory 68-04 (primary), 68Q45 (secondary) |
| url | https://arxiv.org/abs/2404.03039 |