Il s'agit, pour chacune des 25 expressions
énumérées dans ce sujet,
de prouver qu'aucune ne représente pas le langage sur {a,b}
constitué des mots ne contenant pas le facteur bbb.
On étudie deux opérations sur les langages:
la première consiste à effacer, de manière
non déterministe, un a dans chaque mot;
la seconde consiste à insérer, de manière
non déterministe, un a dans chaque mot.
On observe l'effet de ces opérations sur deux langages
simples, puis on montre qu'elles conservent la rationalité.
L'étude des codes amène à définir
deux propriétés d'un langage:
le caractère factoriel et le caractère
transitif.
Ce sujet étudie l'indépendance de ces deux
caractères et du caractère rationnel.
