JFLAP

JFLAP是用于测试正式语言主题的软件，包括不确定性有限自动机，不确定性下推自动机，多带图灵机...

JFLAP是用于测试正式语言主题的软件，包括不确定性有限自动机，不确定性下推自动机，多带图灵机，几种语法，解析和L系统。除了为这些示例构建和测试示例之外，JFLAP还允许一个人尝试将一种形式的构建证明转换为另一种形式，例如将NFA转换为DFA，将最小状态DFA转换为正则表达式或正则语法。

具有商业许可的所有平台的JFLAP替代品