Lenguaje formal para la automatización de programas estructurados

Abstract

LA METODOLOGIA DE WARNIER REPRESENTA, DURANTE LA FASE DE ANALISIS, LA RELACION ENTRE ACCIONES Y CONDICIONES MEDIANTE TABLAS DE VERDAD, LA DEDUCCION POR METODOS CONVENCIONALES DEL PROGRAMA CORRESPONDIENTE A CASOS COMPLEJOS ES ARDUA Y EXPUESTA A COSTOSOS ERRORES. EL OBJETIVO DE ESTA TESIS ES LA DETERMINACION DE UN METODO FORMAL, UTILIZANDO ELEMENTOS DE LA TEORIA DE AUTOMATAS Y DE LA INTELIGENCIA ARTIFICIAL, QUE PERMITA DICHA DEDUCCION DE UNA MANERA AUTOMATICA Y OPTIMIZADA, ES DECIR CON LAS CARACTERISTICAS DE LAS HERRAMIENTAS CASE. SI ES FACTIBLE REPRESENTAR ESTAS TABLAS COMO UN LENGUAJE REGULAR, SIEMPRE SE PODRA ENCONTRAR UN AUTOMATA FINITO Y UNA GRAMATICA REGULAR ASOCIADOS A TAL LENGUAJE, DE MANERA QUE EL PRIMERO LLEVE AL SISTEMA CONSIDERADO A SU FORMA CANONICA, Y LA SEGUNDA GENERE LA ESTRUCTURA Y EL SEUDOCODIGO DEL PROGRAMA. CON ELLO SE OBTENDRIA UN UNIVERSO DE SOLUCIONES IGUALMENTE VALIDAS DESDE UN PUNTO DE VISTA FORMAL, PERO SIN DETERMINAR LA SOLUCION OPTIMA EN TERMINOS DE CONSUMO DE RECURSOS TECNOLOGICOS (CICLOS Y MEMORIA). PARA ELLO, SE PLANTEA LA INCORPORACION DE UNA FUNCION HEURISTICA QUE DA LUGAR A UN ALGORITMO SOBRE UN AUTOMATA FINITO Y NO DETERMINISTA, DEDUCIDO DE LA TABLA DE VERDAD, DE MANERA QUE EN UN UNICO PASO REFUNDE LOS PROCESOS DE DETERMINISMO Y MINIMIZACION Y OBTIENE LA SOLUCION BUSCADA. TAL ALGORITMO ESTABLECE SOBRE EL AUTOMATA UNA RELACION DE EQUIVALENCIA EN EL LENGUAJE, ENCONTRANDO LA SOLUCION MEDIANTE UNA PODA EN EL ESPACIO DE BUSQUEDA, Y ESTABLECIENDO EL LENGUAJE REGULAR QUE LA REPRESENTA.