Las limitaciones de los modelos finitos de gramáticas para la definición de lenguajes

Abstract

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.