Langages rationnels ou Hors-Contexte. Exemples de preuves par l'absurde.
Pour démontrer qu'un langage n'est pas rationnel, on fait souvent une démonstration par l'absurde contredisant le lemme de l'étoile.
On peut aussi faire des démonstration par l'absurde avec la propriété de conservation de classes de langages par les homomorphismes de chaîne.
Cette vidéo montre comment cela s'applique sur des variantes de langages à partir de celui des mots doublés.
Mots clés : analyse syntaxique
Informations
- Valerie Bellynck
-
- Christian Boitet
- Gilles Serasset
- 17 novembre 2020 19:04
- Supports pédagogiques
- Français
Commentaire(s)