DFA（确定的有穷自动机）一个确定的有穷自动机M是一个五元组：
M=(K，∑，f，S，Z)
K是一个有穷集，它的每个元素称为一个状态。
2019-04-14
python实现DFA模拟程序