Determinističnih končno stanje stroj, ki sprejme finitary drevesa, namesto samo strune. Vozlišča drevesa so označene s črkami abecede avtomata, in funkcijo prehod kodira naslednjič državami za vsako vejo drevesa. Sprejetje pogoj je ustrezno spremenjene.