Otra forma de definir las gramáticas sensibles al contexto, es aquella gramática formal con la única restricción que todas las producciones α -> β en "P" cumplan que |α| ≤ |β| donde |α| es la longitud de α.