Spécialiste reconnu en informatique théorique, l’auteur présente les résultats les plus récents sur la théorie des langages et des automates, les notions de machine de Turing et de calculabilité dans un chapitre fondamental sur les problèmes classiques de décision, la théorie de la complexité, la théorie de la cryptographie et enfin les réseaux de Petri et les automates systoliques