Le livre contient une couverture approfondie de tous les sujets liés à la théorie du calcul tels que mentionnés dans les programmes de B.E., M.C.A. et M.Sc. (Informatique) de diverses universités. Une quantité suffisante d'apports théoriques soutenus par un certain nombre d'illustrations sont incluses pour ceux qui s'intéressent profondément au sujet. Dans les premiers chapitres, le livre présente le matériel de base nécessaire à l'étude des théories des automates. Exemples de sujets inclus : langages réguliers et théorème de Kleene ; automates minimaux et monoïdes syntaxiques ; la relation entre les langages sans contexte et les automates à pile ; et les machines de Turing et la décidabilité. Ce livre facilite aux étudiants un style d'écriture plus informel tout en offrant la couverture la plus accessible de la théorie des automates, un traitement solide sur la construction de preuves, de nombreuses figures et diagrammes pour aider à transmettre des idées et des encadrés pour mettre en évidence le matériel connexe. Chaque chapitre offre une abondance d'exercices pour un apprentissage pratique.