DFSM: 确定性有限状态机是一种有限状态机,它接受和拒绝符号串,并且只为每个输入字符串产生自动机的唯一计算(或运行)