tree_automaton_bottom_up (285B)
1 # Tree automaton bottom up 2 3 - [initialization_function] / [initialization_relation] 4 - [transition_function] / [transition_relation] 5 6 types: 7 8 - [automaton_deterministic]: [bDTA] 9 - [automaton_unambiguous]: [bUTA] 10 - [automaton_nondeterministic]: [bNTA] 11 12 Up: [tree_automaton], [bottom_up]