例:证明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属于终态。
得证。