G.P.F.A.R un sistema transformaciónal para el análisis, verificación y cálculo inteligente de un conjunto de funciones en recursividad cruzada

• Autores: Francisco Javier Garijo Mazario
• Directores de la Tesis: Isidro Ramos Salavert (dir. tes.)
• Lectura: En la Universidad del País Vasco - Euskal Herriko Unibertsitatea ( España ) en 1981
• Idioma: español
• Tribunal Calificador de la Tesis: Luis Gurruchaga Vázquez (presid.) , Francisco Javier Zubillaga Zubimendi (secret.) , Isidro Ramos Salavert (voc.) , Manuel Martí Recober (voc.) , Antonio Vaquero Sánchez (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • LA MEMORIA PRESENTADA DESCRIBE LA REALIZACION DE UN SISTEMA DE GENERACION AUTOMATICA DE PROGRAMAS, EL SISTEMA RECIBE COMO ENTRADA UN PROBLEMA EXPRESADO MEDIANTE UN CONJUNTO DE FUNCIONES (RECURSIVAS O NO) MUTUAMENTE INTERDEPENDIENTE.EL SISTEMA VERIFICA LA CORRECCION SINTACTICA Y SEMANTICA DEL PROBLEMA DANDO COMOSALIDA EL PROGRAMA OPTIMO ESCRITO EN LENGUAJE DE ALTO NIVEL (PL/1) CAPAZ DE CALCULAR EL PROBLEMA PLANTEADO. PARA LA OBTENCION DE UN PROGRAMA OPTIMO EL SISTEMA ES CAPAZ DE OBTENER UN ENUNCIADO EQUIVALENTE MEDIANTE LA APLICACION DE UN CONJUNTO DE REGLAS FORMALES QUE CONSERVAN LA SEMANTICA DEL MISMO.

    LA BASE DE FUNCIONAMIENTO DEL SISTEMA ESTA CONSTITUIDA POR TECNICAS DE INTELIGENCIA ARTIFICIAL.