Characterizing and Deciding MSO-Definability of Macro Tree Transductions.
Joost EngelfrietSebastian ManethPublished in: STACS (2000)
Keyphrases
- finite state
- monadic second order logic
- tree automata
- finite automata
- expressive power
- binary tree
- tree structure
- fixed point
- markov chain
- index structure
- markov decision processes
- finite state transducers
- regular expressions
- first order logic
- neural network
- propositional logic
- n gram
- data complexity
- tree construction
- computational complexity
- database
- model checking
- tree structures
- tree search
- knowledge representation
- query language
- information retrieval