Licence Creative Commons Langages et preuves par le théorème des paires itérantes

17 novembre 2020
00:13:43
Nombre de vues 67
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

Pour démontrer qu'un langage n'est pas Hors-Contexte, on fait souvent une démonstration par l'absurde contredisant le théorème des paires itérantes.

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

Commentaire(s)