- Enseignant-e: Arnaud Casteigts
Ce cours a pour sujet l'étude et l'analyse des langages formels et de leurs éléments : les mots.
Les langages formels sont des objets fondamentaux en informatique comme les langages de programmation, compilation, codages, complexité, etc.
On étudie les langages formels et les systèmes qui en permettent une spécification ou représentation comme les automates, grammaires, systèmes de réécriture et logiques.