Rabin Tree Automata and Finite Monoids.

Danièle Beauquier Andreas Podelski

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

Keyphrases

tree automata
finite automata
closure properties
regular expressions
finite state
tree languages
finite automaton
syntactic pattern recognition
grammatical inference
regular tree languages
context free grammars