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.