Formal language theory and automata : a gentle introduction : course, exercises and corrected exams

Voir Plus Voir Moins

Afficher le Résumé

Ce livre propose une introduction progressive à la théorie des langages formels et des automates, domaine fondamental de l’informatique théorique. Il s’adresse principalement aux étudiants en informatique souhaitant acquérir les bases nécessaires à la compréhension des modèles formels utilisés dans la conception des langages de programmation, des compilateurs et des systèmes de calcul. L’ouvrage présente d’abord les concepts fondamentaux des langages formels, tels que les alphabets, les mots et les opérations sur les langages. Il introduit ensuite les automates finis déterministes et non déterministes, les expressions régulières et les grammaires formelles. Le livre aborde également les langages réguliers et context-free, les automates à pile ainsi que certaines notions de la théorie de la calculabilité. Chaque chapitre est accompagné d’exemples, d’exercices et d’examens corrigés, permettant au lecteur de consolider ses connaissances et de s’entraîner à l’application des concepts étudiés.

Voir le Sommaire