Bisimulation Minimization of Tree Automata.

Parosh Aziz Abdulla Lisa Kaati Johanna Högberg

Published in: CIAA (2006)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
finite automaton
context free grammars
equivalence relation
high level
reinforcement learning
markov chain