Sign in

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

Jacques DuparcAlessandro FacchiniFilip 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