Certifying a Tree Automata Completion Checker.
Benoît BoyerThomas GenetThomas P. JensenPublished in: IJCAR (2008)
Keyphrases
- tree automata
- regular expressions
- finite state
- finite automata
- tree languages
- finite automaton
- syntactic pattern recognition
- context free grammars
- grammatical inference
- monadic second order logic
- knowledge base
- markov chain
- ordered trees
- context free
- regular tree languages
- production system
- expressive power
- model checking
- first order logic
- information extraction
- database systems