Weighted Automata with Storage

Vortrag von Luisa Hermann

Veranstaltungsort: Videokonferenz
Beginn: 12. Mai 2022 um 11:00
Ende: 12. Mai 2022 um 12:00
Event series: Research Seminar Logic and AI
iCal

This talk is an excerpt of the PhD defense talk by Luisa Hermann. 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.