自动机和语法研究的工具支持

Question

我正在学习形式语言​​和编译器，并且我正在努力去理解所有的东西。有没有工具可以让你创建自动机和语法，并对它们执行操作？通过自动机文法最小化自动机，从文法到自动机，生成无epsilon文法等操作。

非常感谢

Answer 1

rici提到的基于Prolog的Finite State Automata Utilities似乎有点过时，在线演示不起作用，但似乎有一些可用的预编译二进制文件。

我曾经用JFLAP做过一些实验，这是一个较新的基于Java的工具，现在仍然在维护。

(顺便说一句，在SO上询问工具是离题的，因为这不是一个实现问题。)

Answer 2

看看L-FLAT，一个用于形式语言和自动机理论的Logtalk工具包。你可以在大多数Prolog编译器中运行它：

https://code.google.com/p/lflat/

它包括定义和操作自动机的几个示例。还有一篇关于该系统的论文，您可以从以下网站下载：

http://arxiv.org/abs/1112.3783