Survey: Weighted Extended Top-down Tree Transducers Part I - Basics and Expressive Power.

Andreas Maletti

Published in: Acta Cybern. (2011)

Keyphrases

expressive power
monadic second order logic
data complexity
query language
first order logic
computational properties
transitive closure
regular expressions
finite automata
relational algebra
tree automata
pattern queries
database
aggregate functions
maximum weight
knowledge representation
relation algebra