Automaadile vastab grammatika S → aSb | ε.

See on magasinmäluga automaat!

Automaat on deterministlik.

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

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