joint work with Thomas Colcombet, Denis Kuperberg, and Szymon Toruńczyk

Speaker(s)

Amal Dev Manuel

Affiliation

Uniwersytet Warszawski

Date

Jan. 20, 2016, 2:15 p.m.

Room

room 5870

Title in Polish

Expressiveness of Min/Max Automata

Seminar

Seminar Automata Theory

---

In this work we show how to decide if a given regular cost function is
recognised by a Min (Max) automaton. This is achieved by
characterising the classes of cost functions of the these automata
algebraically. Also a number of other characterisations are given.

---