在计算理论中,确定有限状态自动机或确定有限自动机(英语:deterministic finite automaton DFA)是一个能实现状态转移的自动机.对于一个给定的属于该自动机的状态和一个属于该自动机字母表{\displaystyle \Sigma }Σ的字符,它都能根据事先给定的转移函数转移到下一个状态
DFA((Deterministic Finite automation))确定性的有穷状态自动机: 从一个状态输入一个字符集合能到达下一个确定的状态.如图:
如上图当AB状态输入a得到状态aB状态aB输入b得到状态ab; 状态AB输入b得到状态Ab状态Ab输入a得到状态ab.