Tree Automata with Global Constraints.
Emmanuel FiliotJean-Marc TalbotSophie TisonPublished in: Developments in Language Theory (2008)
Keyphrases
- global constraints
- tree automata
- finite automata
- regular expressions
- constraint programming
- finite state
- constraint satisfaction problems
- weighted constraint satisfaction
- integer programming
- tree languages
- arc consistency
- constraint satisfaction
- markov chain
- finite automaton
- databases
- context free grammars
- pattern matching
- context free
- np complete
- domain specific