Lemme de l`étoile - PLANIART

IFT313
Introduction aux langages formels
Froduald Kabanza
Département d’informatique
Université de Sherbrooke
planiart.usherbrooke.ca/kabanza/cours/ift313
Lemme de l’étoile

IFT313 © Froduald Kabanza 2
Sujets
•Propriétés des langages réguliers, dont le lemme de l’étoile (ou
pumping theorem en anglais), parfois appelé aussi théorème du
gonflement.

IFT313 © Froduald Kabanza 3
Objectifs
•Connaître les propriétés des langages réguliers, dont le lemme de
l’étoile
• Pouvoir appliquer le lemme de l’étoile pour prouver que certains
langages sont non réguliers

IFT313 © Froduald Kabanza 4
Références
[1] Sudkamp, T. A.. Languages and Machines. Third Edition Edition.
Addison-Wesley, 2005.
–Sections 6.5 à 6.7.
[3] Wolper, P. Introduction à la calculabilité, 3è édition. Dunod, 2006
–Section 3.5

IFT313 © Froduald Kabanza 5
Au-delà des langages réguliers
Les langages réguliers forme une classe très intéressante, mais tous les
langages ne sont certainement pas réguliers.
Pour établir que certains langages ne sont pas réguliers, nous allons
caractériser les langages réguliers en observant certaines propriétés de base,
pour aboutir finalement à une propriété dite le lemme de l’étoile.