【文件属性】：
文件名称：dfa-minimization
文件大小：3KB
文件格式：ZIP
更新时间：2021-04-19 15:55:19
Python
有限状态机最小化
我们提出了最小化算法，用于使用等价类来减少摩尔机，Mealy机和有限自动机。 该项目还旨在为所述最小自动机生成Verilog代码。
执行和测试文件
用于无输出的有限状态机
该文件可以在终端中以以下方式执行： python file_name.py test_filename.fsm提供了示例有限状态机文件demo.fsm ，如果终端中未提供test_filename.fsm ，则将其解析为默认值。 建议在执行过程中在终端中提供任务文件的完整地址。
demo.fsm中的输入格式
8 2
1 5
6 2
0 2
2 6
7 5
2 6
6 4
6 2
0
2
第一行表示状态数和字母的大小：分别为8和2
接下来的8行概述了状态转换表，其中行代表状态，列代表字母
下一行包含初始状态，在本例中为状态0
最后一行包含可接受状态的列表，在我们的例子中只有状态2
【文件预览】：
dfa-minimization-main
----fsm_parser.py(524B)
----demo.fsm(49B)
----hopcroft.py(3KB)
----README.md(1KB)