Nas linguagens formais, os principais sistemas geradores disponíveis são as gramáticas. Em 1958, Noam Chomsky escreveu a classificação de gramática...

Noam Chomsky elaborou quatro tipos de gramáticas formais, que são denominadas de acordo com a sua hierarquia. São elas: - Tipo 0: Gramáticas irrestritas ou gramáticas sem restrições. - Tipo 1: Gramáticas sensíveis ao contexto. - Tipo 2: Gramáticas livres de contexto. - Tipo 3: Gramáticas regulares. Portanto, Chomsky elaborou quatro tipos de gramáticas formais: irrestritas, sensíveis ao contexto, livres de contexto e regulares.