Combining Equational Tree Automata over AC and ACI Theories.

Joe Hendrix Hitoshi Ohsaki

Published in: RTA (2008)

Keyphrases

tree automata
regular expressions
equational theories
finite automata
finite state
tree languages
syntactic pattern recognition
finite automaton
theorem proving
natural language processing
first order logic
markov decision processes
production system