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