Two-Way Tree Automata Solving Pushdown Games.

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

tree automata
finite state
regular expressions
finite automata
finite automaton
tree languages
syntactic pattern recognition
computer games
databases
machine learning
learning algorithm
object oriented
xml data
regular tree languages