Une définition équivalente des grammaires sous-contexte . ...... Soit n le nombre
d'états de l'automate A, il existe un entier k tel que k ? n et ?k = ?k+1 ...... d'un
langage (voir le livre de Arto Salomaa, Computation and Automata, .... existe u ?
L.L tel que w ? s(u), et u est de la forme u1.u2, où u1 ? L et u2 ? L . D'après la. 
