If for an input Σ {\displaystyle \Sigma } -labeled tree ( T , V ) {\displaystyle (T,V)} , there exists an accepting run, then the input tree is accepted by the automaton.
اگر برای Σ {\displaystyle \Sigma } - درخت برچسب دار ( T , V ) {\displaystyle (T,V)} اجرای مورد پذیرش ای وجود داشته باشد آنگاه درخت ورودی توسط اتومات پذیرفته میشود.