Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.

Jacques Duparc Alessandro Facchini Filip Murlak

Published in: CSL (2009)

Keyphrases

tree automata
finite state
finite automata
regular expressions
finite automaton
syntactic pattern recognition
monadic second order logic
machine learning
search algorithm
data model