(definition)
Definition: A deterministic finite state machine that accepts finitary 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 acceptance condition is modified accordingly.
Also known as DFTA.
See also nondeterministic finite tree automaton, deterministic tree automaton.
Author: SKS
Tree Automata Techniques and Applications page.
If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.
Entry modified Fri Dec 17 11:49:39 2004.
HTML page formatted Wed Oct 26 09:47:25 2005.
Cite this as:
Sandeep Kumar Shukla, "deterministic finite tree automaton", from
Dictionary of Algorithms and Data
Structures, Paul E. Black, ed.,
NIST.
http://www.nist.gov/dads/HTML/determFinitTreeAutom.html
