<分区>
2000 年，当我还是一名学生时，我选修了自动机理论类(class)。在本类(class)的练习中，我们基本上重新编写了一个名为 Grail (http://www.csd.uwo.ca/Research/grail/) 的 unix 命令行工具。 Grail 允许您读取带有正则表达式或确定性/非确定性有限状态机的文件，并对它们应用典型的理论操作:最小化 FSM、检查是否为空、反转、FSM 的乘积、FSM 到 RegEx 和 RegEx 到 FSM、应用一个输入字符串和模拟机器等。
Grail 似乎可用，但显然自 2002 年以来就没有开发过。因此我的问题是:有人知道仍在积极开发中的类似工具吗？ (即现代的 Grail？)今天的类使用什么？
我正在寻找的是一个命令行工具，它从 stdin 读取 FSM 或 RegExes，应用一个操作，并将结果输出到 stdout，Unix 方式，这样您就可以创建自己的管道。简单的 FSM 和 RegEx 就足够了，因此下推自动机或 Büchi 自动机之类的东西并不是真正必要的。
如果没有命令行工具，是否有好的库或图形工具？