sábado, marzo 01, 2008

Lenguajes de extensión determinada

El lenguaje que consta de todas las oraciones de longitud 50, el que incluye a todas cuya longitud es múltiplo de cincuenta y uno y sólo a ellas, o a todas cuya longitud es un cuadrado.
Pero aquél cuyas oraciones han de ser de longitud múltiplo de la anteriormente pronunciada o de longitud 3. Un lenguaje ordenado, enumerable pero no recursivo, dicho sea oblicuamente respecto a los significados técnicos. El modelo no tan oculto de la historia. Y puede que del lenguaje.

No hay comentarios: