Backward and forward bisimulation minimization of tree automata.

Johanna Högberg Andreas Maletti Jonathan May

Published in: Theor. Comput. Sci. (2009)

Keyphrases

tree automata
forward and backward
bi directional
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
context free grammars
finite automaton
dynamic programming
markov chain
pattern matching