python-3.x - 确定性有限自动机设计

任何人都可以向我推荐这个算法吗？

DFSM 的模拟：设计和实现一个程序来模拟 DFSM。该程序必须接受两个参数并输出“是/否”。第一个参数是文件名（包含 DFSM 规范的文件名），第二个参数是字符串。两个参数都必须是命令行参数。如果 DFSM 接受字符串，则程序的输出为“是”，否则为“否”。文件中给出的 DFSM 规范的结构如下：

文件的第一行包含由一个或多个空格分隔的输入字母表。每个字母应该是一个字符。

转换函数以表格形式给出。字母列表的顺序将与转换表的列顺序相同。

文件的最后一行包含一组由一个或多个空格分隔的最终状态。

在文件的第一行和最后一行之间给出了转换函数。

转换表的每一行都是一行。行的元素由一个或多个空格分隔。假设文件中至少有三行，则第二行对应于状态 1 索引的转换表的第一行。行索引从文件的第二行开始是隐式的。表格的列按第一行中出现的字母顺序进行索引。状态由从 1 开始的整数表示，即起始状态。

转换表的行在文件的第一行和最后一行之间给出，每行一行。

标签： python-3.xc++11finite-automatadfaautomata-theory