Chapitre 13 : Langages non réguliers et lemme de l'itération
Conditions d’achèvement
Lemme de l’itération : propriété des langages réguliers
- énoncé,
- preuve.
Utilisation : prouver que des langages sont non-réguliers :
- preuves par contradiction,
- utilisation des propriétés de fermeture : opérations booléennes, homomorphisme (inverse).
Exemples de démonstrations de la non-régularité de certains langages.