Bisimulation Minimization of Tree Automata.

Parosh Aziz Abdulla Johanna Högberg Lisa Kaati

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
finite automaton
context free grammars
database
database systems
domain knowledge