确定的有限自动机：DeterministicFiniteAutomata，简称DFA。一个确定的有限自动机是个五元组:(S，∑，f，s0，Z)，其中： （1）S是一个有限集合，它的每个元素称为一个状态。 （2）∑是一个有穷字母表，它的每个元素称为一个输入字符。 （3）f是SX∑→S上的单值部分映像。f(A,a)=Q表示当前状态为A、输入为a时，将转换到下一状态Q。称Q为A的一个后继状态。 （4）s0∈S，是唯一的一个开始状态。 （5）Z是非空的终止状态集合，Z⊆S。 状态转换图：简称为转换图，是一个有向图。DFA中的每个状态对应转换图中的一个结点，DFA中的每个转换函数对应图中的一条有向弧，若...