La théorie des langages propose une définition formelle de ce que c'est qu'un langage, un ensemble de séquences de symboles, des moyens de caractériser des langages, des moyens de décider si une séquence donnée appartient à un langage donné, et une quantité de théorèmes qui relient ces concepts. Elle est abondamment utilisée en informatique pour modéliser des données, calculs et des interactions. Ce document de cours est un "picopoly" (une sorte de flyer) qu'il est préférable d'imprimer en format A3 pour ensuite le plier et obtenir un livret en format A6.