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 quantit suffisante d'apports thoriques soutenus par un certain nombre d'illustrations sont incluses pour ceux qui s'intressent profondment au sujet. Dans les premiers chapitres, le livre prsente le matriel de base ncessaire l'tude des thories des automates. Exemples de sujets inclus : langages rguliers et thorme de Kleene ; automates minimaux et monodes syntaxiques ; la relation entre les langages sans contexte et les automates pile ; et les machines de Turing et la dcidabilit. Ce livre facilite aux tudiants un style d'criture plus informel tout en offrant la couverture la plus accessible de la thorie des automates, un traitement solide sur la construction de preuves, de nombreuses figures et diagrammes pour aider transmettre des ides et des encadrs pour mettre en vidence le matriel connexe. Chaque chapitre offre une abondance d'exercices pour un apprentissage pratique.