En este tipo de gramáticas, las producciones son de la forma α → β, donde α y β no permiten ε de una producción, es decir, no