Jouons aux automates déterministes

La théorie des langages et des automates appartient à la branche fondamentale de l’informatique. Nous étudierons dans cette unité d’enseignement les langages et leur représentation, en particulier les langages rationnels et leur représentation par automates d’états finis.

Plus précisément nous évoquerons les langages, les automates d’états finis, le langage reconnu par un automate, les opérations sur les automates et langages, les automates non déterministes, leur déterminisation, les expressions régulières, les langages réguliers et l’équivalence avec les langages rationnels. Nous terminerons par la minimisation d’automate déterministe.