使用 Grail+ 和 TikZ 图示有限自动机
形式语言与自动机理论
2024-04-05 v1
摘要
在本文中，我们讨论了一种与 Grail+ 交互的新软件工具，Grail+ 是一个自动机理论命令行实用程序库。我们的软件 Grail+ Visualizer 接收由 Grail+ 生成的有限自动机文本表示，并生成 TikZ 代码以图示该有限自动机，同时自动布局状态和转移。除了概述自动机理论和 Grail+ 的基础知识外，我们还详细讨论了 Grail+ Visualizer 的工作原理，并提出了未来工作的方向。
引用
@article{arxiv.2404.03039,
title = {Illustrating Finite Automata with Grail+ and TikZ},
author = {Alastair May and Taylor J. Smith},
journal= {arXiv preprint arXiv:2404.03039},
year = {2024}
}