Weighted Automata with Storage

Talk by Luisa Hermann

Location: Video conference
Start: 12. May 2022 at 11:00 am
End: 12. May 2022 at 12:00 pm
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.