martes, marzo 20, 2007

Gramáticas históricas

Tenemos un inventario de símbolos terminales enclasados en las categorías alfa, beta, gamma, etc, a los que se suma un símbolo de finalización de la cadena en un inventario de símbolos intermedios o no terminales.
Una cadena de símbolos terminales es gramatical si, mediante un sorteo, se obtiene una cadena de símbolos no terminales que correspondan ordenadamente a las clases a que pertenecen los de aquélla. O bien si ya ha aparecido tal cadena de no terminales. Nótese que así una oración puede declararse gramatical tiempo después de haber sido producida; puede pasar de incorrecta a correcta.
Este lenguaje no es un conjunto, sino una historia, que quizá sea como decir que si no es un conjunto, ya lo será. Cuando se detenga el bombo.

No hay comentarios: