Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints.

Carles Creus Adrià Gascón Guillem Godoy

Published in: J. Autom. Reason. (2013)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
finite automaton
syntactic pattern recognition
context free grammars
database
information retrieval
natural language
markov decision processes