JFLAP

JFLAP 是一款用于实验形式语言相关主题的软件，包括非确定性有限自动机、非确定性下推自动机、多带图灵机、多种类型的文法、语法分析以及 L-系统。除了构建和测试这些概念的例子外，JFLAP 还允许用户尝试从一种形式转换到另一种形式的构造性证明，例如将 NFA 转换为 DFA，再转换为最小状态 DFA，或转换为正则表达式或正则文法。