自動機和語法研究的工具支持

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