Ce inseamna asta? Sa spunem ca automatul primeste un string $s$ = *bbaba*
Initial ne aflam in {$q{~0~}$}. Pentru fiecare element al stringului $s{~i~}$ facem tranzitia {$δ(q{~k~}, s{~i~})$}.

Pornim din k = 0. Vom avea :

Pornim din {$k = 0$}. Vom avea :

k = 0; d(0, b) = 2;
k = 2; d(2, b) = 0;
k = 0; d(0, a) = 1;
k = 1; d(1, b) = 1;
k = 2; d(1, a) = 3;

* $k = 0; δ(0, b) = 2;$
* $k = 2; δ(2, b) = 0;$
* $k = 0; δ(0, a) = 1;$
* $k = 1; δ(1, b) = 1;$
* $k = 2; δ(1, a) = 3;$

Daca ultima stare obtinuta qk apartine A, atunci spunem ca automatul accepta stringul. Altfel spus, daca avem stringul s, lungime(s) = n, automatul accepta stringul daca si numai daca d ( ... d( d(0, s(1)), s(2) ) ..., s(n) ) apartine A.

Daca ultima stare obtinuta $q{~k~}$ apartine {$A$}, atunci spunem ca automatul accepta stringul. Altfel spus, daca avem stringul {$s$}, {$lungime(s) = n$}, automatul accepta stringul daca si numai daca $δ( ... δ( δ(0, s{~1~}), s{~2~} ) ..., s{~n~} )$ apartine {$A$}.

Stringurile 'aa', 'aaaaaaa', 'aabababab', 'aaaba', 'ba', 'aba' sunt acceptate de automat, dar 'ba', 'abbbbbb', 'bba' nu.