Hauptregion der Seite anspringen

Liste der Abschlussarbeiten

Für erweiterte Suchoptionen können Sie diese Inhalte auch im Forschungsinformationssystem anzeigen lassen.

Multioperator Weighted Monadic Datalog
Art der Abschlussarbeit
Dissertation
Autoren
  • Stüber, Torsten
Betreuer
  • Prof. Dr.-Ing. habil. Heiko Vogler
Abstract
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
Schlagwörter
Automata Theory, Tree Automata, Tree Transducer, Logic, Monadic Datalog
Berichtsjahr
2011
Stand: 26.10.2020 10:29 Uhr