Langage Formel ET Theorie des Automates

Le livre contient une couverture approfondie de tous les sujets lies a la theorie du calcul tels que mentionnes dans les programmes de B.E., M.C.A. et M.Sc. (Informatique) de diverses universites. Une quantite suffisante d'apports theoriques soutenus par un certain nombre d'illustrations sont incluses pour ceux qui s'interessent profondement au sujet. Dans les premiers chapitres, le livre presente le materiel de base necessaire a l'etude des theories des automates. Exemples de sujets inclus : langages reguliers et theoreme de Kleene ; automates minimaux et monoides syntaxiques ; la relation entre les langages sans contexte et les automates a pile ; et les machines de Turing et la decidabilite. Ce livre facilite aux etudiants un style d'ecriture plus informel tout en offrant la couverture la plus accessible de la theorie des automates, un traitement solide sur la construction de preuves, de nombreuses figures et diagrammes pour aider a transmettre des idees et des encadres pour mettre en evidence le materiel connexe. Chaque chapitre offre une abondance d'exercices pour un apprentissage pratique.