Resumen:
El uso de reglas de reescritura para el estudio de lenguajes fue introducido por
Axel Thue1 y posteriormente profundizado por Avram Noam Chomsky2 que creó
el concepto de gramática generativa y estableció las cuatro jerarquías conocidas
como Jerarquías de Chomsky en base a su capacidad de generación de lenguajes.
El problema que planteamos aquí es el de demostrar que el modelo de gramática
finita solo puede representar una cantidad muy reducida de lenguajes.