Tree Automata with Global Constraints for Infinite Trees.
Patrick LandwehrChristof LödingPublished in: STACS (2019)
Keyphrases
- tree automata
- global constraints
- regular expressions
- finite automata
- finite state
- constraint programming
- weighted constraint satisfaction
- tree languages
- constraint satisfaction problems
- ordered trees
- pattern matching
- finite automaton
- integer programming
- markov chain
- parameterized complexity
- arc consistency
- context free grammars
- knowledge representation