Las gramáticas formales definen un lenguaje formal mediante la descripción de cómo se pueden generar sus cadenas, utilizando una cuádrupla que incluye símbolos no terminales, terminales, producciones y un símbolo axioma. La jerarquía de Chomsky clasifica distintos tipos de gramáticas formales en una escala del tipo 0 sin restricciones al tipo 3 regular, dependiendo de las restricciones en sus producciones.

1. GRAMÁTICAS
FORMALES
autómatas

2. GRAMÁTICAS FORMALES
 definen un lenguaje describiendo cómo se pueden
generar las cadenas del lenguaje.
 cuádrupla G = (N, T, P, S)
 N es un conjunto de símbolos no terminales, T es
un conjunto de símbolos terminales, P es un
conjunto finito de producciones, S es el símbolo
distinguido axioma S (N T).

3. JERARQUÍA DE CHOMSKY
 Es una clasificación jerárquica de distintos tipos de
gramáticas formales que generan lenguajes
formales.
 Tipo 0: gramáticas generales sin restricciones
 Tipo 1: gramáticas sensibles al contexto
 Tipo 2: gramáticas libres de contexto
 Tipo 3: gramáticas regulares (o lineales)