La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception de processeurs, la compilation de logiciels, l'intelligence artificielle...
Cette discipline qui repose sur des concepts mathématiques fait partie des connaissances théoriques indispensables pour toute formation solide en informatique. Elle est enseignée dès la licence dans certains cursus.
Ce manuel est constitué de rappels de cours et de plus de 150 exercices avec leur corrigé détaillé.