Infinite-tree automata work on Σ {\displaystyle \Sigma } -labeled trees.
درخت اتومات نامتناهی روی Σ {\displaystyle \Sigma } -درخت برچسب دار عمل می‌کند.