确定有限状态自动机 在计算理论中确定有限状态自动机或确定有限自动机英語deterministic finite automaton DFA是一个能实现状态转移的自动机对于一个给定的属于该自动机的状态和一个属于该自动机字母表 Σ displaystyle Sigma  的字符它都能根据事先给定的转移函数转移到下一个状态这个状态可以是先前那个状态