Reconnaissance des ensembles de mots finis et de mots infinis: du semi-anneau de Boole au semi-anneau tropical.

Jean-Eric Pin

Resume : Les automates finis peuvent etre utilises aussi bien pour decrire des ensembles de mots finis que des ensembles de mots infinis. D'un point de vue algebrique, on peut facilement representer les automates travaillant sur des mots finis, meme non deterministes, par des matrices booleennes. Qu'en est-il dans le cas des mots infinis ? On presentera une structure algebrique bien adaptee au probleme, qui utilise des matrices a coefficients sur un semi-anneau a 3 elements.