Nie. Myslím, že je to obyčajný deterministický automat, ako tie ostatné. Ja som si len myslel, že nemôže byť naraz viac tokenov pred rôznymi a-čkami, ale asi môže. Ak príde v danom stave a-čko, posunú sa všetky tokeny, ktoré boli pred a-čkami.
Jediný "problém" by mohol nastať, keby sme chceli určiť, ktoré konkrétne a-čko sme práve prečítali. Ale to nie je naša úloha. My máme len rozpoznať, či zadaný reťazec vyhovuje alebo nevyhovuje danému regulárnemu výrazu.
Starý príspevok pre istotu zmažem, aby vás nemiatol.