See on magasinmäluga automaat!

Automaati üleminek "a, a ; ε" teeb sisuliselt sedasama kui käsitsi parseri koodis käsk match('a').

Automaadile vastab grammatika S → aSb | ε.

Selle automaadi keel on L(a*b*).

Automaat on deterministlik.