Expressiveness of Min/Max Automata

Prelegent(ci)

Amal Dev Manuel

Afiliacja

Uniwersytet Warszawski

Termin

20 stycznia 2016 14:15

Pokój

p. 5870

Tytuł w języku angielskim

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

Seminarium

Seminarium „Teoria automatów”

---

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.

---