A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars.
Roderick BloemJoost EngelfrietPublished in: J. Comput. Syst. Sci. (2000)
Keyphrases
- monadic second order logic
- expressive power
- attribute grammars
- tree automata
- finite automata
- regular expressions
- finite state
- data complexity
- context free grammars
- context free
- first order logic
- query language
- grammatical inference
- pattern matching
- context dependent
- conjunctive queries
- markov chain
- context sensitive
- query answering