Bisimulation Minimisation of Weighted Automata on Unranked Trees.

Johanna Högberg Andreas Maletti Heiko Vogler

Published in: Fundam. Informaticae (2009)

Keyphrases

tree automata
finite automata
regular expressions
finite state
tree languages
finite automaton
regular tree languages
context free grammars
data structure
pattern matching
markov chain
equivalence relation
monadic second order logic