Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Idiomas / Languages

Original en español. El selector de la matriz editorial estará disponible cuando responda el servicio de presentación.

Ver original en español / Spanish original

La traducción automática facilita la lectura. Contraste términos, fórmulas y sentido con el original.

19. Terminología y referencias del lenguaje

Este apéndice permite localizar los conceptos y las fuentes formales utilizados en el manual. Las definiciones completas y sus restricciones corresponden a las especificaciones enlazadas.

19.1. Términos de consulta

TérminoUso en este libroDesarrollo
Archivo SVPTexto que expresa declaraciones y operaciones del Lenguaje de Computación SV.Ejemplos.
Perfil SVP-ES o SVP-ENForma lingüística explícita del programa, independiente del idioma de la interfaz.Playground.
Gramática superficialReglas de escritura de las construcciones del lenguaje.Construcciones e instrucciones.
Representación intermedia, IREstructura de objetos y operaciones obtenida tras interpretar el texto y aplicar las comprobaciones correspondientes.Arquitectura.
Célula y estado celularEspecificación de una célula y valores de una instancia identificada, respectivamente.Ejemplo inicial.
Terna0 = Apto, 1 = No apto y U = Indeterminado, conforme a la cuestión y las reglas aplicables. Los fallos técnicos conservan su diagnóstico propio.Estados celulares y terna y desarrollo y validación.
FrameRepresentación estructurada de un suceso y de las relaciones exigidas por su contrato.Parámetros, recorridos y evidencia.
Admisión técnicaCumplimiento de las condiciones de entrada y comprobación aplicables. Se distingue del resultado semántico.Conformidad y diagnósticos.
TrazaRegistro que relaciona actuaciones observadas y sus medidas. Su cobertura depende de los puntos instrumentados.Observabilidad.
DSLLenguaje específico de dominio; en este libro, el lenguaje propio del Sistema Vectorial SV.Ámbito y organización.

19.2. Gramática y representación intermedia

La gramática superficial v0.2 conserva v0.1 salvo las producciones y restricciones que sustituye expresamente; su representación de destino es IR v0.3. Deben consultarse conjuntamente:

Las referencias fijan una revisión para que pueda reproducirse la consulta. La distribución utilizada declara sus propias versiones. La fecha de edición de este libro no modifica esas identidades.


© 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).