Valence automata as weighted automata

Speaker(s)

Joost Winter

Affiliation

Uniwersytet Warszawski

Date

Dec. 14, 2016, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

In this talk we will discuss a way in which it is possible to regard valence automata as weighted automata over suitably chosen semirings, together with a "threshold language" interpretation. This way, it is possible to obtain e.g. context-free and even recursively enumerable languages as threshold languages, as a direct consequence of their definability via valence automata. I will present some results, some of them a recasting of recent work from Goncharov/Milius/Silva (which focusses much more strongly on coalgebraic techniques) and some of them building further on this work, as well as some (hopefully interesting) open problems.

---