Diccionario del Lenguaje de Computación

Enciclopedia temática del Sistema Vectorial SV · Volumen I · Primera edición, 25 de octubre de 2026.

Este diccionario explica el vocabulario del Lenguaje de Computación del SV y relaciona sus términos con las especificaciones que los delimitan. Es una referencia explicativa: no introduce instrucciones, modifica contratos ni acredita capacidades de ejecución. Las versiones de las fuentes y las condiciones de cada distribución conservan su autoridad.

Las equivalencias inglesas facilitan la consulta de bibliografía y especificaciones. La procedencia de una sigla se identifica cuando está documentada; no se atribuyen etimologías históricas sin fuente. Los conceptos físicos, químicos y matemáticos se remiten al tercer volumen cuando dispongan de una definición recibida.

Consulta temática

Términos

Las entradas están ordenadas alfabéticamente. Cada desplegable conserva una dirección propia para facilitar su cita.

Admisión técnica

Cumplimiento de las condiciones exigidas para aceptar una entrada en una operación determinada. En el Lenguaje SV puede comprender la forma del texto, los tipos y las restricciones de su contrato. Su alcance depende de las comprobaciones efectivamente realizadas.

Distinción: admitir una representación no demuestra que su operación se haya ejecutado ni que exista autorización institucional para utilizarla. Véase Conformidad y diagnósticos.

Para continuar la lectura: Contrato de una operación · Autorización de uso. Comparar las condiciones técnicas con la decisión institucional. Explorar otros recorridos.

Árbitro–Director

Componente al que se atribuye el gobierno de una operación: comprueba condiciones, entradas, permisos y límites, y relaciona su ejecución con la evidencia correspondiente. Sus facultades concretas dependen de los contratos implementados y recibidos.

Relación: el Selector informa la elección del destino de cálculo a partir de los recursos observados. La presencia de un dispositivo no autoriza su uso. Véase Árbitro–Director.

Para continuar la lectura: Selector de recursos de cálculo · IA gobernada. Relacionar la elección de recursos con las facultades de gobierno. Explorar otros recorridos.

Archivo SVP

Documento textual que expresa declaraciones y operaciones del Lenguaje de Computación SV conforme a un perfil lingüístico y una gramática identificados. El análisis produce una representación estructurada o un diagnóstico.

Distinción: un archivo admitido no equivale a una operación ejecutada. La extensión del archivo tampoco acredita por sí sola su validez. Véase Ejemplos por construcción.

Para continuar la lectura: Gramática superficial · Representación intermedia · IR. Seguir la relación entre escritura y representación, sin presumir ejecución. Explorar otros recorridos.

Comprobación

Contraste de una condición con criterios y evidencias identificados. Debe declarar objeto, versión, procedimiento, resultado y límites. Una inspección del texto, una prueba ejecutada y una recepción favorable son actos distintos.

Uso: «comprobado» siempre requiere precisar qué se comprobó. La ausencia de un fallo observado no acredita propiedades que no fueron examinadas. Véase Desarrollo y validación del núcleo.

Para continuar la lectura: Evidencia de evaluación · Trazabilidad. Examinar qué fundamenta una afirmación y cómo se reconstruye. Explorar otros recorridos.

Contrato de una operación

Especificación de las entradas, resultados, relaciones, restricciones y condiciones de validez de una operación. Aquí se utiliza en sentido formal y computacional; no designa por sí mismo un acuerdo jurídico.

En el SV: una interfaz o un modelo de IA no pueden ampliar las facultades definidas por el contrato. Su aceptación técnica y la autorización institucional se comprueban separadamente. Véase Arquitectura y entornos de ejecución.

Para continuar la lectura: Invariante · Admisión técnica. Identificar qué debe conservarse y qué condiciones permiten admitir una entrada. Explorar otros recorridos.

Determinismo normativo del SV

Aplicación de una regla recibida a un estado admitido, con valores y condiciones explícitos. Si permanecen el caso, la evidencia y la regla, debe conservarse el resultado normativo. No equivale a predecir cualquier sistema físico, ni convierte por sí solo una respuesta de inteligencia artificial en correcta o reproducible.

Distinción: una variación de redacción equivalente no es un cambio de hechos; un fallo técnico tampoco es un valor de la terna. Consulte ¿Por qué la terna [0, 1, U] del SV?, núcleo y diagnóstico técnico. La entrada introductoria conserva los fundamentos y los límites comunes.

Diagnóstico técnico

Información que identifica un rechazo, una limitación o una incidencia del procesamiento. Explica qué condición impide continuar o interpretar válidamente el resultado.

Distinción: un fallo de ejecución no se transforma automáticamente en un valor U, un dictamen científico ni un diagnóstico clínico. Véase Conformidad y diagnósticos.

Para continuar la lectura: Dictamen de evaluación · Comprobación. Distinguir una incidencia técnica de una conclusión de evaluación. Explorar otros recorridos.

DSL · Lenguaje específico de dominio

Sigla inglesa de domain-specific language. Designa un lenguaje especializado en expresar problemas y operaciones de un ámbito delimitado, frente al propósito general de otros lenguajes. La especialización exige reglas explícitas; no basta una colección informal de instrucciones.

En el SV: identifica su lenguaje propio de construcción y representación. Su implementación en Rust se distingue de los programas escritos en SVP. Véanse Ámbito y organización y la publicación metodológica L-04.

Para continuar la lectura: Archivo SVP · Agente Especializado del SV. Relacionar el lenguaje especializado con los documentos y construcciones que expresa. Explorar otros recorridos.

Explorador Tensorial del SV

Componente destinado a identificar recursos y capacidades observables e informar de ellos al Selector. El inventario conserva procedencia, disponibilidad y límites de observación.

Distinción: detectar un acelerador no acredita que una operación concreta pueda ejecutarse en él ni que resulte más rápida. Véase Explorador Tensorial del SV.

Para continuar la lectura: Selector de recursos de cálculo · Observabilidad. Diferenciar la detección de capacidades de la selección fundamentada. Explorar otros recorridos.

Frame · Representación estructurada de un suceso

Denominación formal utilizada para una representación estructurada de un suceso y de las relaciones requeridas por su contrato. La explicación española acompaña al término de la especificación; no sustituye sus campos ni su identidad.

Distinción: no es una captura de pantalla ni una descripción narrativa libre. Su validez exige las relaciones establecidas en la fuente correspondiente. Véase Parámetros, recorridos y evidencia.

Para continuar la lectura: Contrato de una operación · Trazabilidad. Comprender las relaciones exigidas al registro y su reconstrucción posterior. Explorar otros recorridos.

Gramática superficial

Conjunto de reglas que determina cómo se escriben las construcciones del lenguaje. Su versión delimita las formas admitidas y sus restricciones expresas.

Distinción: la corrección sintáctica no acredita por sí sola la validez semántica, la autorización ni la ejecución. Las precisiones de una versión posterior prevalecen únicamente en lo que sustituyen. Véase Terminología y referencias del lenguaje.

Para continuar la lectura: Semántica del lenguaje · Representación intermedia · IR. Distinguir la forma de escritura, su significado y su representación. Explorar otros recorridos.

Huella de contenido · SHA-256

Valor calculado mediante una función criptográfica sobre los bytes de un contenido. Permite cotejar la identidad de las copias con una referencia identificada, bajo las propiedades del algoritmo y las condiciones del cotejo.

Distinción: la coincidencia de huellas no acredita autoría, permiso de uso, corrección científica ni autenticidad de una referencia no fiable. Véase Verificación documental.

Para continuar la lectura: Evidencia de evaluación · Trazabilidad. Separar identidad de contenido, validez de la evidencia y reconstrucción documental. Explorar otros recorridos.

Instrucciones preliminares pre-núcleo

Operaciones deterministas de preparación y comprobación del entorno anteriores a la admisión de la ejecución del núcleo del SV. Equivalencia descriptiva inglesa: pre-core preliminary instructions. «Pre-núcleo» no implica por sí solo «anterior al sistema operativo»; cada realización debe declarar cuándo interviene.

Estado: estudio arquitectónico, versión 0.1 de 28/10/2026; implementación y pruebas pendientes. Contempla red, USB, discos y otros medios compatibles, sin convertir el medio de entrega en raíz de confianza. No constituye una ampliación de la DSL, de la representación intermedia ni de las facultades de un agente.

Para continuar la lectura: Arquitectura y condiciones de implementación · Relación con Ciberseguridad Inteligente. La especificación común conserva las condiciones de confianza, continuidad y recepción.

Invariante

Propiedad que debe conservarse en las transformaciones u operaciones comprendidas en una especificación. Su contenido y alcance deben estar expresados; la palabra no sustituye la formulación ni la comprobación.

En el SV: la construcción de un agente no puede introducir excepciones tácitas a las invariantes matemáticas o semánticas. La demostración denominada seudo-producción tampoco permite modificar el núcleo. Véase Agentes Especializados y frontera.

Para continuar la lectura: Semántica del lenguaje · Aislamiento de la IA. Relacionar las propiedades exigidas con las protecciones permanentes. Explorar otros recorridos.

Núcleo del Lenguaje SV

Componente que realiza el análisis, las comprobaciones y la representación estructurada del lenguaje, con las funciones implementadas en la revisión correspondiente. Gobierna los contratos semánticos que le competen.

Límite: ninguna IA recibe acceso directo ni autoridad para modificarlo. Una descripción arquitectónica no acredita la integración material completa de todas sus protecciones. Véanse Arquitectura y Desarrollo y validación.

Para continuar la lectura: Tubería de IA · Aislamiento de la IA. Examinar por qué una aportación de IA no confiere acceso ni autoridad sobre el núcleo. Explorar otros recorridos.

Observabilidad

Capacidad de obtener evidencia sobre actuaciones, resultados, tiempos y recursos mediante puntos de observación identificados. Su cobertura depende de lo que se mida efectivamente.

Distinción: observar una petición y su respuesta no permite conocer todo el procesamiento interno de un proveedor. Debe indicarse qué parte permanece fuera de la observación. Véase Observabilidad y medidas.

Para continuar la lectura: Trazabilidad · Evidencia de evaluación. Precisar qué se observa, qué puede reconstruirse y qué queda sin comprobar. Explorar otros recorridos.

Perfil lingüístico SVP-ES o SVP-EN

Selección explícita de la forma lingüística con la que se expresa un programa SVP. No se deduce del idioma de la interfaz.

Uso: una instrucción del perfil inglés conserva su nombre formal cuando se explica su sintaxis; la explicación española precisa su significado. Cambiar la presentación no modifica automáticamente el programa. Véase Playground del Lenguaje SV.

Para continuar la lectura: Archivo SVP · Gramática superficial. Situar el idioma del programa dentro de sus reglas de escritura. Explorar otros recorridos.

Polígono del SV

Representación del estado de una célula constituida, conforme al contrato visual del SV. Mantiene la identidad, el orden y el número de posiciones, así como su correspondencia con los valores de la terna (0, 1, U) y la revisión de la instancia representada.

Distinción: el área, el perímetro o un promedio de la figura no sustituyen las reglas de evaluación ni la decisión del núcleo. Los radios codifican estados; no constituyen una escala de gravedad. Véase Correspondencia visual.

Para continuar la lectura: Frame decisional · Dictamen de evaluación. Distinguir el estado representado de su interpretación y de la evidencia que lo sostiene. Explorar otros recorridos.

Representación intermedia · IR

Sigla inglesa de intermediate representation. Estructura que conserva los objetos, operaciones y relaciones obtenidos al interpretar el texto y aplicar las comprobaciones correspondientes. En el SV se somete a reglas de bienformación y a una versión identificada.

Distinción: representar una operación no equivale a ejecutarla. La interfaz no puede completar relaciones faltantes atribuyéndoles una semántica no recibida. Véase Terminología y referencias del lenguaje.

Para continuar la lectura: Semántica del lenguaje · Contrato de una operación. Reconocer las relaciones formales que la representación debe respetar. Explorar otros recorridos.

Selector de recursos de cálculo

Componente que elige un destino compatible y autorizado para una carga, utilizando capacidades y medidas disponibles. La denominación completa del SV identifica los dispositivos CPU, GPU, TPU y NPU considerados por su especificación.

Límite: no se presume una prioridad universal de un tipo de dispositivo. La elección debe fundamentarse; puede no existir un destino admisible. Véase Selector CPU/GPU/TPU/NPU.

Para continuar la lectura: Explorador Tensorial del SV · Árbitro–Director. Relacionar la información sobre recursos con la decisión autorizada de utilización. Explorar otros recorridos.

Semántica del lenguaje

Significado atribuido a las construcciones y operaciones por sus definiciones y reglas. Se distingue de la sintaxis, que determina su forma de escritura.

En el SV: la presentación visual, el proveedor y el nodo de ejecución no instituyen una semántica alternativa. Una explicación en lenguaje natural debe remitir al contrato que precisa el significado. Véase Construcciones e instrucciones propias.

Para continuar la lectura: Gramática superficial · Invariante. Comparar forma, significado y propiedades que no pueden alterarse tácitamente. Explorar otros recorridos.

Trazabilidad

Posibilidad de reconstruir relaciones pertinentes entre fuentes, versiones, actuaciones y resultados mediante registros identificados. Exige conservar el fundamento y las condiciones de lo que se pretende reconstruir.

Distinción: disponer de registros no acredita cobertura completa ni autoriza su difusión. Deben declararse las observaciones ausentes y las condiciones de acceso. Véase Observabilidad y medidas.

Para continuar la lectura: Frame · Representación estructurada de un suceso · Evidencia de evaluación. Relacionar los registros estructurados con el fundamento de las conclusiones. Explorar otros recorridos.

Tubería de IA

Denominación específica del SV para el recorrido controlado de recepción y admisión de aportaciones de un modelo. Comprende contratos de frontera y comprobaciones; no designa una conexión directa entre la IA y el núcleo.

Límite permanente: las aportaciones se reciben como datos no fiables, sin autoridad para ejecutar órdenes o modificar el sistema. El monitor informativo explica este requisito; su presencia no demuestra la implementación integrada del monitor operativo. Véase Agentes Especializados y frontera.

Para continuar la lectura: Aislamiento de la IA · Admisión técnica. Distinguir la separación material de las comprobaciones aplicadas a los datos recibidos. Explorar otros recorridos.

Publicaciones

Los enlaces de esta sección se abren en una pestaña nueva. Los libros del SV fundamentan su uso específico; la bibliografía externa aporta contexto metodológico y no acredita conformidad del SV. La ausencia de DOI identificado se declara sin inventar un identificador.

Casos de uso o ejemplos específicos

Interpretar un archivo sin atribuirle una ejecución

Una persona presenta un archivo SVP con perfil identificado. El comprobador examina su forma y las relaciones requeridas. Si produce una IR válida, se ha acreditado ese recorrido de interpretación. Para afirmar que una operación fue ejecutada hacen falta además su implementación disponible, la autorización pertinente y la evidencia de ejecución. Intervienen archivo SVP, admisión, IR y comprobación.

Elegir recursos con evidencia

Un inventario identifica CPU y GPU. El Explorador informa de lo observado y el Selector examina compatibilidad, autorización y medidas pertinentes. La mera presencia de la GPU no basta para seleccionarla. Si no existen medidas suficientes, se declara esa limitación. Este ejemplo explica responsabilidades; no atribuye un rendimiento ni una elección a un equipo concreto.

Rechazar una instrucción ajena al contrato

Una respuesta del modelo contiene texto que pretende cambiar permisos. Su recepción no le otorga autoridad. La tubería mantiene el contenido fuera del núcleo y la operación competente sólo puede admitir datos conformes a su contrato. El ejemplo expone el requisito de aislamiento; su acreditación exige pruebas materiales de la integración utilizada.

© 2026 Juan Antonio Lloret Egea. Algunos derechos reservados. | ORCID: 0000-0002-6634-3351 | Instituto Tecnológico Virtual de la Inteligencia Artificial para el Español™ (ITVIA) | IA eñ™ – La Biblia de la IA™ | ISSN 2695-6411 | Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0).