dfa algorithms

dfa 算法

https://dfa.laane.xyz/

 Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms

6CCS3PRJ 伦敦国王学院最后一年项目
作者：斯坦·阿瑟·莱恩
主管：Agi Kurucz 博士

关于

该项目旨在实现和可视化用于状态最小化（SM）和等价测试（ET）的三种有限自动机算法：

• 填表算法（SM、ET）
• n lg n Hopcroft 算法（SM、ET）
• （近）线性算法 (ET)

还实现了这些算法的变体，它们生成见证字符串来指示两个 DFA 是否等效。

此外，该项目旨在使用自定义 DFA 数据集演示算法的最坏情况性能。用户可以使用这些数据集来创建自己的 DFA。

有关算法和数据集的更多详细信息，请参阅该项目随附的报告（此处）。

有关使用该应用程序的说明可以在帮助页面上找到。

发展

要在本地运行或开发此软件，需要本地安装 Node.js 14.x。

该软件可以按如下方式运行：

1. 导航到项目目录
2. 使用npm install安装必要的依赖项
3. 运行本地开发服务器npm run start
4. 访问该站点http://localhost:3000

可以使用npm run test运行测试

贡献和问题

随时欢迎您的贡献。任何人都可以在 GitHub 上提出问题并拉取请求

执照

该项目已获得 MIT 许可