Uma Gramática G=(V,T,P,S) é dita do tipo 0 se todas as regras de produção α→β são da forma: α∈(V∪T)+eβ∈(V∪T)∗ ou seja, as cadeias α e β são formadas por símbolos terminais ou não terminais definidos na gramática, e a cadeia α não pode ser vazia.