Tree Automata over Infinite Alphabets.

Michael Kaminski Tony Tan

Published in: Pillars of Computer Science (2008)

Keyphrases

tree automata
regular expressions
finite state
finite automata
tree languages
syntactic pattern recognition
finite automaton
context free grammars
learning algorithm
domain knowledge
model checking
sequence alignment
monadic second order logic