Voici le premier livre de probl?mes corrig?s d'informatique, destin? aux ?tudiants qui suivent l'enseignement optionnel d'informatique en fili?re MPSI/MP (classes pr?paratoires aux grandes ?coles d'ing?nieurs). Ce livre int?ressera ?galement les ?tudiants en licence ou en ma?trise d'informatique. Chaque probl?me est pr?c?d? d'une rapide pr?sentation, indiquant en particulier quelles sont les parties du programme mises en jeu. Le corrig? est complet: chaque question y trouve une r?ponse. Des notes historiques et bibliographiques apportent des pr?cisions compl?mentaires, et donnent au lecteur curieux des pistes vers d'autres sources d' information. Les r?ponses aux questions de programmation sont donn?es dans le langage de programmation fonctionnelle Caml, ? la fois concis et ?l?gant.Voici le premier livre de probl?mes corrig?s d'informatique, destin? aux ?tudiants qui suivent l'enseignement optionnel d'informatique en fili?re MPSI/MP (classes pr?paratoires aux grandes ?coles d'ing?nieurs). Ce livre int?ressera ?galement les ?tudiants en licence ou en ma?trise d'informatique. Chaque probl?me est pr?c?d? d'une rapide pr?sentation, indiquant en particulier quelles sont les parties du programme mises en jeu. Le corrig? est complet: chaque question y trouve une r?ponse. Des notes historiques et bibliographiques apportent des pr?cisions compl?mentaires, et donnent au lecteur curieux des pistes vers d'autres sources d' information. Les r?ponses aux questions de programmation sont donn?es dans le langage de programmation fonctionnelle Caml, ? la fois concis et ?l?gant.Calculs dans l'alg?bre des parties finies ou confinies de N.- It?ration et attraction.- Un texte tir? de Combinatorics on Words.- Autour de la distance de Hamming.- Un syst?me de r??criture (d'apr?s J.-M. Autebert).- Lemme de pompage et lemme de non-pompage.- D?terminisation d'un automate fini reconnaissant un langage fini (d'apr?s Kai Salomaa et Sheng Yu) - Langages locauxlc§