Decidability results for weighted-language equivalence via bisimulation up-to

Prelegent(ci)

Joost Winter

Afiliacja

Uniwersytet Warszawski

Termin

18 maja 2016 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

In this talk, I will present work earlier presented at FoSSaCS 2015, showing how the bisimulation-up to technique, the decidablity of weighted language equivalence for Noetherian semirings (originally proven by Ésik and Maletti) can be obtained using -almost- purely categorical methods, using the technique of lambda-bisimulation (or bisimulation up-to context). This proof is in principle more general than Ésik and Maletti's original proof, as it is given on the level of distributive laws of monads over endofunctors, allowing for instantiations beyond weighted automata, on the level of distributive laws of monads over endofunctors (on Set) satisfying suitable conditions.

---