nondeterministic tree automaton


Definition: A nondeterministic finite state machine that accepts infinite trees rather than just strings. The tree nodes are marked with the letters of the alphabet of the automaton, and the transition function encodes the next states for each branch of the tree. The expressive power of such automata varies depending on the acceptance conditions of the trees.

See also nondeterministic finite tree automaton.

Author: SKS

More information

Tree Automata Techniques and Applications page.

Go to the Dictionary of Algorithms and Data Structures home page.

If you have suggestions, corrections, or comments, please get in touch with Paul Black.

Entry modified 6 January 2022.
HTML page formatted Thu Jan 6 17:07:56 2022.

Cite this as:
Sandeep Kumar Shukla, "nondeterministic tree automaton", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed. 6 January 2022. (accessed TODAY) Available from: