Reasoning About Co-Büchi Tree Automata.

Salvatore La Torre Aniello Murano

Published in: ICTAC (2004)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
training data
ordered trees
database
markov chain
context free grammars
context free