Automata on Infinite Trees with Counting Constraints.

Danièle Beauquier Damian Niwinski

Published in: TAPSOFT (1993)

Keyphrases

tree automata
finite automata
constraint satisfaction
constrained optimization
database
decision trees
databases
state space
cellular automata
constraint programming
grammatical inference
regular languages
finite sets