dfa minimization 源码

有限状态机最小化 我们提出了最小化算法,用于使用等价类来减少摩尔机,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