Théorie des langages

Ce cours présente un ensemble de techniques autour des langages formels.

Connaitre et manipuler les outils formels de la théorie des langages, i.e. Les grammaires, les automates.

Connaitre et comprendre les principaux algorithmes en lien avec ces outils.

• Niveau d'algèbre suffisant

• capacité à formaliser

• Avoir une certaine habitude de la rédaction de preuves

Contrôle continu

Acquérir les bases de la définition de langages analysables (analyse lexicale, analyse syntaxique) et savoir mettre en pratique les méthodes fondamentales. Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation.