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

Question

我正在研究形式语言和编译器，并且在理解所有内容方面有些困难。 是否有工具可让您创建自动机和语法并对其执行操作？ 诸如以下操作：通过自动机语法最小化自动机，从语法到自动机，制作无epsilon的语法等。

非常感谢你

Answer 1

rici提到的基于Prolog的有限状态自动机实用程序似乎有些过时了，在线演示无法正常工作，但似乎有一些可用的预编译二进制文件。

我曾经对JFLAP做过一些实验，而JFLAP是一个仍在维护的基于Java的更新工具。

（顺便说一句，索要工具在SO上是不合时宜的，因为这不是实现问题。）

Answer 2

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

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

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

http://arxiv.org/abs/1112.3783