tree_automaton (610B)
1 # Tree automaton 2 3 Defines [regular_tree_language] 4 5 ## Types 6 7 - [tree_automaton_one_way] 8 - [tree_automaton_bottom_up] 9 - [tree_automaton_top_down] 10 - [tree_automaton_deterministic] 11 - [tree_automaton_nondeterministic] 12 - [tree_automaton_two_way] 13 - [tree_automaton_alternating] 14 - [tree_automaton_two_way_alternating] 15 16 ## Variants 17 18 Also [DAG_automaton] 19 https://codeberg.org/yvomeeres/pubs/raw/branch/draft/dag-draft.pdf 20 and [jumping_automata_on_graphs] 21 22 - [tree_automaton_infinite] 23 - [counter_automata_trees] 24 25 Up: [automata] on [tree] 26 27 See also: [dtd], [xml], [Tree_walking_automaton] 28 29 Aliases: tree automata