The Emptiness Problem for Tree Automata with Global Constraints.
Luis BarguñóCarles CreusGuillem GodoyFlorent JacquemardCamille VacherPublished in: LICS (2010)
Keyphrases
- tree automata
- global constraints
- regular expressions
- finite automata
- constraint programming
- finite state
- constraint satisfaction problems
- tree languages
- weighted constraint satisfaction
- arc consistency
- integer programming
- context free grammars
- context free
- parameterized complexity
- constraint satisfaction
- finite automaton
- database
- grammatical inference
- upper bound
- machine learning