Phdthesis3020: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Luisa Herrmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann }} {{Phdthesis |Title=Weighted Automata with Storage |Instructor=Heiko Vogle…“) |
Luisa Herrmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 11: | Zeile 11: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
|Download=Volltext (PDF).pdf | |||
|Link=https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685 | |Link=https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685 | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
}} | }} | ||
Version vom 11. April 2022, 13:35 Uhr
Weighted Automata with Storage
Luisa HerrmannLuisa Herrmann
Luisa Herrmann
Weighted Automata with Storage
Phd thesis, Technische Universität Dresden, 2020/09/29
Weighted Automata with Storage
Phd thesis, Technische Universität Dresden, 2020/09/29
- KurzfassungAbstract
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. - Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@phdthesis{H2020,
author = {Luisa Herrmann},
title = {Weighted Automata with Storage},
school = {Technische Universit{\"{a}}t Dresden},
year = {2020}
}
