Propositional Tree Automata.

Joe Hendrix Hitoshi Ohsaki Mahesh Viswanathan

Published in: RTA (2006)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
first order logic
syntactic pattern recognition
context free grammars
search space
markov chain
database
high level
context free
finite automaton