LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Automata minimization: a systematic approach

 Daniela Petrisan
Monday, April 30 2018 at 02:00PM
LSV library
Daniela Petrisan (IRIF, Paris 7)

In this talk I will present a systematic approach for understanding various forms of automata minimization. I will explain how to model automata in various categories and what are sufficient conditions to obtain the existence of a minimal automaton/recognizer for a given language. As examples of this unifying framework I will discuss the minimal subsequential transducer, syntactic algebras, but also minimization for a new class of automata called hybrid-set-vector automata.

This is joint work with Thomas Colcombet.

About LSV