Keyphrases
- tree automata
- regular expressions
- theorem proving
- finite automata
- finite state
- equational theories
- tree languages
- syntactic pattern recognition
- regular tree languages
- finite automaton
- ordered trees
- context free grammars
- databases
- pattern matching
- logic programs
- context free
- conceptual model
- markov chain
- machine learning