为了说明DFA如何作为一种识别机制,我们还要理解下面的定义。 ∑*上的符号串t在M上运行 　　- 一个输入符号串t，（我们将它表示成Tt1的形式，其中T∈∑，t1∈ ∑*）在DFA M上运行的定义为： 　　- f（Q， Tt1）=f（f（Q，T），t1） 其中Q∈K 　　- 扩充转换函数f，是K×Σ*→K上的映射，且： f（ki，ε）= ki ∑*上的符号串t被M接受 　　- 若t∈∑*，f(S，t)=P，其中S为 M的开始状态，P∈Z，Z为终态集。 　　- 则称t为DFA M所接受（识别） 　　DFA M所能接受的符号串的全体记为 L(M) 结论： 　　∑上一个符号串集V∑*是正规的，当且仅当存在一个∑上的确定有穷自动机M，使得V=L(M)