Äärellisestä automaatista edelleen kehitetty automaattityyppi, jossa siirtymässä voi olla ehtona joko yksittäinen merkki tai toisen automaatin nimi. Siirtymän toteutuminen edellyttää silloin sitä, että mainittu automaatti kelpuuttaa osan jäljellä olevista merkeistä, joiden kuluttamisen jälkeen siirtymä toteutuu ja tunnistaminen jatkuu.