wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

tree_automaton (424B)

      1 # Tree automaton
      2 
      3 Defines [regular_tree_language]
      4 
      5 ## Types
      6 
      7 - [tree_automaton_bottom_up]
      8 - [tree_automaton_top_down]
      9 
     10 ## Variants
     11 
     12 Also [dag_automaton] DAG-automaton
     13 https://codeberg.org/yvomeeres/pubs/raw/branch/draft/dag-draft.pdf
     14 and [jumping_automata_on_graphs] jumping automata on graphs
     15 
     16 - [tree_automaton_infinite]
     17 - [counter_automata_trees]
     18 
     19 Up: [automata] on [tree]
     20 
     21 See also: [dtd], [xml]
     22 
     23 Aliases: tree automata