Skip to main content

List of Theses

For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Multioperator Weighted Monadic Datalog
Art der Abschlussarbeit
  • Stüber, Torsten
  • Prof. Dr.-Ing. habil. Heiko Vogler
In this thesis we will introduce multioperator weighted monadic datalog (mwmd), a formal model for specifying tree series, tree transformations, and tree languages. This model combines aspects of multioperator weighted tree automata (wmta), weighted monadic datalog (wmd), and monadic datalog tree transducers (mdtt). In order to develop a rich theory we will define multiple versions of semantics for mwmd and compare their expressiveness. We will study normal forms and decidability results of mwmd and show (by employing particular semantic domains) that the theory of mwmd subsumes the theory of both wmd and mdtt. We conclude this thesis by showing that mwmd even contain wmta as a syntactic subclass and present results concerning this subclass.
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Automata Theory, Tree Automata, Tree Transducer, Logic, Monadic Datalog
Last modified: 2020-10-26 10:29am