tree_automaton (513B)
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 13 ## Variants 14 15 Also [DAG_automaton] 16 https://codeberg.org/yvomeeres/pubs/raw/branch/draft/dag-draft.pdf 17 and [jumping_automata_on_graphs] 18 19 - [tree_automaton_infinite] 20 - [counter_automata_trees] 21 22 Up: [automata] on [tree] 23 24 See also: [dtd], [xml], [Tree_walking_automaton] 25 26 Aliases: tree automata