Visibly Tree Automata with Memory and Constraints.

Hubert Comon-Lundh Florent Jacquemard Nicolas Perrin

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

tree automata
finite automata
regular expressions
finite state
tree languages
context free grammars
finite automaton
domain knowledge