Abstract FR:

Nous etudions trois aspects de la reconnaissance des langages rationnels: nous proposons de nouveaux types d'automates, en particulier les automates a table de cycles. Nous proposons un nouveau type de monoide associe aux automates pour les langages de mots infinis : le monoide des cycles. Nous caracterisons differents types de demi-congruences reconnaissant les langages rationnels, en particulier les demi-congruences saturantes. Nous donnerons plusieurs classes de langages infinitaires possedant un automate minimal et donnerons une nouvelle preuve du theoreme de buchi-mcnaughton