ULB-INFO-005 -- Maurice Boffa -- 30-0-0 -- Cours de 2ème cycle
Etude des règles algébriques sous-jacentes à la description des langages acceptés par les automates finis.
Automates finis. Langages acceptés par ceux-ci. Description de ces langages en termes d'expressions rationnelles. Règles de calcul pour ces expressions (identités rationnelles). Recherche d'identités rationnelles de base (axiomes). Axiomes de Conway.
Examen oral base sur une préparation écrite.