You are not logged in | Log in

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
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.