Determinističnih končno stanje stroj, ki sprejema neskončno drevesa in ne samo strune. Vozlišča drevesa so označene s črkami abecede avtomata, in funkcijo prehod kodira naslednjič državami za vsako vejo drevesa. Je izrazno moč teh avtomatov odvisna od sprejema pogoje dreves.