1. begin
      q := q0 ;
      i := 1 ;
      ok := true ;
      while i <> n+1 and ok do begin
        if existe_t(q,x[i]) then q := delta(q,x[i])
        else ok := FALSE
        i := i + 1 ;
      end ;
      if i = n+1 and terminal(q) then write('Mot reconnu')
      else  write('Mot non reconnu') ;
    end
    
  2.  abcz
    ->{1}{2,3}  {4}
    {2,3}{4}{3}{1,2}{4}
    <-{4}   {1}
    {3}{4}{3}
    {1,2}{2,3} {1,2}{4}
  3. (Transitions non étiquetées : -transitions.)