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

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