3.3.1确定的有限自动机DFA 1抽象地看，状态转换图由五个郁分组成： (1)有限个状态之集，犯作K写 (2)有限个输入符号组成的字母表，犯作 3)从Kx∑到K的转换函数fiK×∑→Kf(p,a)=q表示若 省前状态为P,且输入符号为a,刚进入下一个状态为q日 (4)S0∈K,初始（开始）状态； 5)若干个玲态之集：Z(三K) 由上述五个要素组成的五元式M=(K,∑，S0,Z)称为 一个确定的有限自动机(DFA:Deterministic Finite Automata) 由此可见，一DFA实际上是状态转换图的形式描迷（数学 定义)，状态转换图是DFA的几佰（图形）表示3.3.1 确定的有限自动机DFA 1.抽象地看,状态转换图由五个部分组成: (1)有限个状态之集,记作K; (2)有限个输入符号组成的字母表,记作; (3)从K到K的转换函数 f: K→K. f(p,a)=q表示若 当前状态为p,且输入符号为a,则进入下一个状态为q; (4)S0K,初始(开始)状态; (5)若干个终态之集: Z( K ) 由上述五个要素组成的五元式 M=(K, , f,S0,Z )称为 一个确定的有限自动机 (DFA: Deterministic Finite Automata) 由此可见, 一DFA实际上是状态转换图的形式描述(数学 定义),状态转换图是DFA的几何(图形)表示