的状态和一个属于该自动机字母表formula_1的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。
基础概念.
定义.确定有限状态自动机formula_2是由所组成的5-元组。因此一个DFA可以写成这样的形式：formula_9。
工作方式（非正式的语义）.确定有限状态自动机从起始状态开始，一个字符接一个字符地读入一个字符串formula_10（这里的formula_11指示Kleene星号算子。）