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.
20. Programación visual y Lenguaje de Computación del Sistema Vectorial
El Lenguaje Basado en Imágenes puede investigarse también como forma de autoría de programas para el Lenguaje de Computación del Sistema Vectorial. La relación tiene un fundamento concreto: ambos describen células, estados, referencias y relaciones cuya interpretación debe permanecer explícita. Programar visualmente exigiría componer glifos admitidos que determinasen declaraciones y operaciones del lenguaje; el texto explicativo podría variar mientras permaneciese estable esa representación formal. Una escena descriptiva no se convierte automáticamente en una orden de actuación.
El entorno interactivo del Lenguaje de Computación del Sistema Vectorial permite examinar esa base, conforme a las especificaciones citadas. Ofrece perfiles fuente en español e inglés para Sistema Vectorial Poligonal (SVP), denominados SVP-ES y SVP-EN. Ambos se resuelven hacia una gramática común y una representación intermedia (IR, por su denominación inglesa) común. El idioma de la interfaz se gestiona separadamente del perfil del programa; las cadenas, los identificadores y los comentarios del usuario no se traducen automáticamente (gramática, apartado 12). Esta equivalencia de perfiles formales no implica admitir cualquier frase en cualquier idioma.
En el contraste realizado el 5 de noviembre de 2026, el ejemplo oficial de célula simple fue admitido en los dos perfiles. Las representaciones obtenidas conservaron los mismos objetos, estados y declaraciones de operación; sólo difirió la huella de la fuente. El resultado acredita esa compilación y su correspondencia en el ejemplo. No acredita que se haya ejecutado la operación declarada, ni que se haya convertido una imagen en un programa.
Para realizar la ampliación visual, sea GΓ el conjunto de composiciones de glifos admitidas y sea A el conjunto de representaciones formales admitidas por el lenguaje. Debe definirse una traducción T:GΓ→A que conserve participantes, estados, ámbito y dependencias. Si ρ extrae esas relaciones de la representación formal y sΓ las determina en la composición visual, la condición ρ(T(g))=sΓ(g) expresa una obligación de conservación. También habrá que contrastar el retorno visual, la identidad de los sucesos y el rechazo de composiciones ambiguas. La admisión de un programa no demuestra por sí sola la veracidad de las observaciones que lo alimentan.
Existe un límite explícito en las especificaciones actuales: la declaración del transductor ternario conserva referencias a un espacio de observación y a sus particiones, pero no ejecuta todavía la producción de estados a partir de observaciones. La gramática 0.2 y la representación intermedia 0.3 exigen constituir y comprobar esa función antes de habilitarla (gramática, apartado 15; representación intermedia, apartado 2.4). Por tanto, el vínculo completo imagen–glifo–programa es una línea de investigación fundamentada, con obligaciones identificables, y no una funcionalidad visual completa ya demostrada.
La comparación con los modelos de lenguaje de gran tamaño (LLM, por su denominación inglesa) debe distinguir generación y validación. Un modelo entrenado con código puede producir programas candidatos a partir de descripciones; el trabajo de Chen y colaboradores constituye un antecedente de su evaluación mediante corrección funcional (estudio original). El procedimiento aquí propuesto busca traducir una representación visual constituida hacia objetos formales con correspondencias verificables. Ambos pueden combinarse: un modelo podría proponer una expresión y una comprobación explícita decidir su admisibilidad. No se ha realizado una comparación experimental que permita afirmar superioridad general.
| Aspecto | Generación mediante un modelo de lenguaje | Vía visual propuesta y lenguaje constituido |
|---|---|---|
| Punto de partida | Descripción y contexto a partir de los cuales se propone un programa. | Glifos con relaciones y estados definidos, cuya traducción formal debe especificarse. |
| Producción | Generación aprendida de una secuencia de código. | Traducción explícita hacia declaraciones y operaciones admitidas; integración visual pendiente. |
| Comprobación | El programa producido requiere compilación y evaluación de su corrección. | La compilación comprueba condiciones constituidas; el origen visual y su fidelidad requieren comprobaciones adicionales. |
| Idioma | La equivalencia entre solicitudes en distintas lenguas debe evaluarse. | Se dispone de dos perfiles fuente con representación común; la prosa libre multilingüe sigue requiriendo interpretación y contraste. |
| Alcance de la comparación | Antecedente de generación de programas y evaluación funcional. | Propuesta de conservación verificable entre representaciones, sin resultado comparativo de superioridad. |
La contribución que se investiga amplía la generación verbal con una exigencia de correspondencia entre evidencia visual, relaciones, estados y registro del suceso. Permite formular criterios de rechazo y obligaciones de retorno que no se deducen de la fluidez de una respuesta. Su valor deberá establecerse mediante casos nuevos, criterios comunes y mediciones reproducibles.
Publicación académica vinculada. Identificador de objeto digital (DOI): 10.21428/39829d0b.8b9c0155.
© 2026 Juan Antonio Lloret Egea. Algunos derechos reservados. | Open Researcher and Contributor ID (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™ | Número Internacional Normalizado de Publicaciones Seriadas (ISSN) 2695-6411 | Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0). Los componentes y fuentes de terceros conservan sus avisos.