Gramática sensível ao contexto

Uma Gramática $G=(V,T,P,S)$ é dita do tipo 1 se todas as regras de produção $\alpha \to \beta$ são da forma:

$$\alpha \in (V\cup T{)}^{+}\text{e}\beta \in (V\cup T{)}^{\ast }\text{com}|\alpha |\le |\beta |\text{(exceto quando }\beta =ϵ\text{)}$$

ou seja, as cadeias $\alpha$ e $\beta$ são formadas por símbolos terminais ou não terminais definidos na gramática, e a cadeia $\alpha$ sempre tem comprimento menor que a cadeia $\beta$, exceto quando $\beta$ for vazia.