个DFA的例子 DFA M=S,U,V,Q,a,b, f,s, Q})其中定义为: f(s, a=u f (v, a=U f (s, b)=v f (v, b)=o f (u, a)=Q f(Q,a=Q f(u, b)=v f (Q, b)=Q
一个DFA 的例子： DFA M=（{S，U，V，Q}，{a，b}，f，S， {Q}）其中f定义为： f（S，a）=U f（V，a）=U f（S，b）=V f（V，b）=Q f（U，a）=Q f（Q，a）=Q f（U，b）=V f（Q，b）=Q
DFA的状态图表示
DFA 的状态图表示 b S U V Q a a a b a，b b
DFA的矩阵表示 状态 字符 a U SUVQ QUQ bVVQQ 000
DFA 的矩阵表示 a b S U V U Q V V U Q Q Q Q 字符 状态 0 0 0 1
∑*上的符号串七被DFAM接受 例:证明 =baab被下图的DFA所接受 f(s, baab)=f (f (s, b), aab) f (v, aab)=f (f (V, a), ab) =f (U, ab)=f (f(U, a), b) =f(Q, b)=Q Q属于终态。 得证
∑*上的符号串t被DFA M接受 例：证明t=baab被下图的DFA所接受。 f（S，baab）=f（f（S，b），aab） = f（V，aab）= f（f（V，a），ab） =f（U，ab）=f（f（U，a），b） =f（Q，b）=Q Q属于终态。 得证。 b S U V Q a b b b, a a a
DFAM所能接受的符号串的全体记为L(M 结论: ∑上一个符号串集Vc∑*是正规的,当且仅当 存在一个∑上的确定有穷自动机M,使得 V=L(M)
DFA M所能接受的符号串的全体记为L(M). 结论： 上一个符号串集V是正规的，当且仅当 存在一个上的确定有穷自动机M，使得 V=L(M)