TY - RPRT TI - Illustrating Finite Automata with Grail+ and TikZ AU - Alastair May AU - Taylor J. Smith PY - 2024 UR - https://arxiv.org/abs/2404.03039 ID - 2404.03039 ER -