La structure des systèmes de relations

Soit w un mot de longueur n+1, vérifiant les deux conditions, alors nécessairement ce mot commence par un opérateur : w=ωs remarque : on ne peux pas dire ici que s vérifie les