Automata on Infinite Trees with Counting Constraints

Danièle Beauquier Damian Niwinski

Published in: Inf. Comput. (1995)

Keyphrases

tree automata
regular expressions
finite automata
regular languages
constrained optimization
finite state
databases
cellular automata
constraint satisfaction
global constraints
database
data sets
neural network
co occurrence
pattern matching
tree structure