- AutorIn
- M.Sc. Torsten Stüber
- Titel
- Multioperator Weighted Monadic Datalog
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-68116
- Datum der Einreichung
- 05.10.2010
- Datum der Verteidigung
- 10.02.2011
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Automatentheorie, Baumautomaten, Baumübersetzer, Logik, Monadic Datalog
- Freie Schlagwörter (EN)
- Automata Theory, Tree Automata, Tree Transducer, Logic, Monadic Datalog
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- GutachterIn
- Prof. Dr.-Ing. habil. Heiko Vogler
- Dr. Zoltán Fülöp
- BetreuerIn
- Prof. Dr.-Ing. habil. Heiko Vogler
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-68116
- Veröffentlichungsdatum Qucosa
- 06.05.2011
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis