An Implementation of Deterministic Tree Automata Minimization.

Rafael C. Carrasco Jan Daciuk Mikel L. Forcada

Published in: CIAA (2007)

Keyphrases

tree automata
regular expressions
finite automata
state space
pattern matching
tree languages