确定有限状态自动机 发表于 2022-05-26 分类于 算法 在计算理论中，确定有限状态自动机或确定有限自动机是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。 前提 给定的状态集 给定的状态转移函数 开始 确认开始状态 确认接受状态 过程 读取字符串，根据状态转移函数转移到下一个状态 如果无法转移到下一个状态，则提前终止，拒绝该字符串 结束 判断最终状态是否在接受状态中 如果在接受状态中，则接受该字符串 如果不在接受状态中，则拒绝该字符串