我正在学习形式语言和编译器，我正在努力理解所有内容。 有没有一种工具可以让您创建自动机和语法并对它们执行操作？ 操作如：通过自动机文法最小化一个自动机，从文法到自动机，制作无epsilon文法等。
非常感谢
【问题讨论】：
标签： parsing grammar finite-automata automata
rici 提到的基于 Prolog 的 Finite State Automata Utilities 似乎有点过时，在线演示也不起作用，但似乎有一些可用的预编译二进制文件。
我曾经用 JFLAP 做一些实验，这是一个更新的基于 Java 的工具，目前仍在维护中。
（顺便说一句，在 SO 上询问工具是题外话，因为这不是实施问题。）
【讨论】：
看看 L-FLAT，一个用于形式语言和自动机理论的 Logtalk 工具包。大多数 Prolog 编译器都可以运行它：
https://code.google.com/p/lflat/
它包括几个定义和操作自动机的例子。您还可以从以下位置下载有关该系统的论文：
【讨论】：
http://logtalk.org/compatibility.html 要启动 L-Flat，只需使用您选择的后端 Prolog 编译器启动 Logtalk，然后使用顶级查询 {loader} 加载它。查看 L-FLAT 文件夹中的README.txt 文件。