Login / Signup
Tree Automata.
Peter Lammich
Published in:
Arch. Formal Proofs (2009)
Keyphrases
</>
tree automata
regular expressions
finite automata
finite state
syntactic pattern recognition
tree languages
finite automaton
ordered trees
context free
databases
high level
query language
state space
model checking
rule base