Login / Signup
Termination criteria for tree automata completion.
Thomas Genet
Published in:
J. Log. Algebraic Methods Program. (2016)
Keyphrases
</>
tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
context free grammars
pattern matching
rewrite systems
finite automaton
machine learning
context free
regular tree languages