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érmino | Uso en este libro | Desarrollo |
|---|---|---|
| Archivo SVP | Texto que expresa declaraciones y operaciones del Lenguaje de Computación SV. | Ejemplos. |
| Perfil SVP-ES o SVP-EN | Forma lingüística explícita del programa, independiente del idioma de la interfaz. | Playground. |
| Gramática superficial | Reglas de escritura de las construcciones del lenguaje. | Construcciones e instrucciones. |
| Representación intermedia, IR | Estructura de objetos y operaciones obtenida tras interpretar el texto y aplicar las comprobaciones correspondientes. | Arquitectura. |
| Célula y estado celular | Especificación de una célula y valores de una instancia identificada, respectivamente. | Ejemplo inicial. |
| Terna | 0 = 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. |
| Frame | Representación estructurada de un suceso y de las relaciones exigidas por su contrato. | Parámetros, recorridos y evidencia. |
| Admisión técnica | Cumplimiento de las condiciones de entrada y comprobación aplicables. Se distingue del resultado semántico. | Conformidad y diagnósticos. |
| Traza | Registro que relaciona actuaciones observadas y sus medidas. Su cobertura depende de los puntos instrumentados. | Observabilidad. |
| DSL | Lenguaje 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:
- Gramática superficial mínima v0.1.
- Precisiones y sustituciones de la gramática v0.2.
- Reglas de bienformación de IR v0.3.
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).