Gramática
Gramática é uma quádrupla ordenada representada por 
- V: conjunto finito de variáveis (ou não terminais).
 - T: conjunto de símbolos terminais, disjuntos de V.
 - P: conjunto finito de regras de produção.
 - S: variável inicial, pertencente a V.
 
Note
. Isso significa que não existe nenhum elemento comum entre T (conjuntos de símbolos terminais) e V (conjuntos de símbolos não-terminais. 
O conjunto