- AutorIn
- Luisa Herrmann Technische Universität Dresden
- Titel
- Weighted Automata with Storage
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685
- Erstveröffentlichung
- 2021
- Datum der Einreichung
- 15.05.2020
- Datum der Verteidigung
- 29.09.2020
- Abstract (EN)
- In this thesis, we investigate weighted tree automata with storage theoretically. This model generalises finite state automata in three dimensions: (i) from words to trees, (ii) by using an arbitrary storage type in addition to a finite-state control, and (iii) by considering languages in a quantitative setting using a weight structure.
- Freie Schlagwörter (DE)
- gewichtete Automaten mit Speicher, gewichtete Baumautomaten
- Freie Schlagwörter (EN)
- weighted automata with storage, weighted tree automata, multioperator monoids
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 240
- GutachterIn
- Prof. Dr. Heiko Vogler
- Prof. Dr. George Rahonis
- BetreuerIn Hochschule / Universität
- Prof. Dr. Heiko Vogler
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft GRK 1763 Quantitative Logiken und Automaten
(QuantLA)
ID: 189782547 - Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-740685
- Veröffentlichungsdatum Qucosa
- 01.03.2021
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0