在计算理论中，确定有限状态自动机或确定有限自动机（）是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表formula_1的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。
基础概念.
定义.确定有限状态自动机formula_2是由所组成的5-元组。因此一个DFA可以写成这样的形式：formula_9。
工作方式（非正式的语义）.确定有限状态自动机从起始状态开始，一