Gramáticas Bien Conformadas

Una GLC $G=(N,T,P,\Sigma )$ es bien conformada si cada producción adopta una forma:

$\{\begin{array}{l}\Sigma \to \lambda \\ \Sigma \to A\\ A\to \alpha \end{array}\{\begin{array}{l}A\in N\\ \alpha \in (N\cup T{)}^{\ast }-N(\text{sin producciones no generativas})\\ \text{ y toda producioˊn es uˊtil}\end{array}$

Dada una GLC cualquiera, se puede construir una gramática bien conformada fuertemente equivalente. En una gramática bien conformada, se cumple que cada producción sin $\Sigma$ tiene la forma $A\to \alpha$ con $|\alpha |>1$ o $\alpha \in T^{\ast }-\lambda$ (sólo terminales).

Para derivar un string de longitud $n$ se requiere como máximo $2n$ pasos de derivación.