· Sublenguaje ·

Entro en un terreno pantanoso. Desconozco el modo riguroso de expresarse en este sublenguaje pero es el que marca la pauta del lenguaje común de la pantalla.  Me fascina este descubrimiento pues vuelve a ampliarme los designios de la lógica matemática que tanta dificultad me implicaron en la facultad de la filosofía. 

La forma [sintaxis] de una sentencia en lenguaje de programación está configurada sobre el lenguaje de la lógica matemática: por convención científica, inamovible. Pero ¿Sobre qué se basa su significado [semántica] ? Pues también sobre convencionalismos. 

Y es lo que me fascina.

Estas son algunas de sus bases:

-Semántica de traducción: cada sentencia se asocia a otra sentencia en un lenguaje objeto de los significados. [4*5: apila 4, apila 5, multiplica].

- Partiendo de la gramática intercontextual, se le pueden añadir atributos semánticos que se asocian a las categorías sintácticas.

- Existen ecuaciones semánticas que calculan el valor de los atributos.

Y así, hasta una fascinante infinitud de posibilidades de combinación léxico-matemática.