DFA的确定性初始状态唯一.状态转换函数f.pptVIP

（二） DFA的两种表示方式 (1) 状态转换图 ：用有向图表示自动机，比较直观，易于理解； (2) 状态转换矩阵：用二维数组描述自动机，易于程序的自动实现； (1) 状态转换图 ：用有向图表示自动机 1. 结点：表示状态： 1) 非终止状态： 2）终止状态： 3）开始状态： 2. 边：表示状态转换函数： S0 Si Sk Si Sj f(Si,a)=Sj a DFA M=( {S0, S1, S2, S3}, {a,b}, f, S0, {S3}), 其中 f 定义为： f (S0, a )=S1 f (S2, a )=S1 f (S0, b )=S2 f (S2, b )= S3 f (S1, a )= S3 f (S3, a )= S3 f (S1, b )= S2 f (S3, b )= S3 状态转换图 S1 S0 S2 S3 a a b a b a b ,b (2) 状态转换矩阵：用二维数组描述DFA 行：表示所有的状态; 初始状态：一般约定，第一行表示开始状态， 或在右上角标注“+”