TEORIA DE LA PROGRAMACION, 4

Autor: VALERO RUIZ VALENTIN.
Año: 1992.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y COMPUTACION .

Resumen: LA TESIS INVESTIGA CUESTIONES DE DECIDIBILIDAD SOBRE DISTINTAS VARIANTES DE REDES DE PETRI TEMPORIZADAS. SE DEFINEN DIVERSAS EXTENSIONES DE LAS PROPIEDADES CLASICAS DE REDES DE PETRI, A LOS MODELOS TEMPORIZADOS. SE CONSIDERAN ASIMISMO DISTINTAS HIPOTESIS SOBRE EL TIPO DE MODELO TEMPORAL: DISCRETO, RACIONAL, REAL. EL TRABAJO SE ENCUADRA EN UNA LINEA DE INVESTIGACION DE ACTUALIDAD Y LOS RESULTADOS OBTENIDOS SON INTERESANTES, NUMEROSOS Y ORIGINALES.

Autor: GAVALDA MESTRE RICARD.
Año: 1991.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENT DE LLENGUATGES I SISTEMES INFORMATICS DE LA UNIVERSITAT POLITECNICA DE CATALUNYA .

Resumen: THE THEORY OF KOLMOGOROV COMPLEXITY HAS PROVED TO BE VERY USEFUL IN THEORETICAL COMPUTER SCIENCE AND SPECIALLY IN COMPLEXITY THEORY. ONE OF THE MAIN REASONS IS THAT IT PROVIDES A PRECISE DEFINITION OF "RAMDOM STRING" AND ENSURES THE EXISTENCE AND ABUNDANCE OF THESE STRINGS. THIS WORK DESCRIBES SEVERAL APPLICATIONS OF KOLMOGOROV RANDOMNESS TO STRUCTURAL COMPLEXITY THEORY. WE SHOW HOW RANDOM STRINGS CAN BE USED TO POINT OUT LIMITATIONS IN THE COMPUTATIONAL POWER OF A MACHINE TYPE. IN SOME CASES, OUR RESULTS CAN BE OBTAINED BY OTHER METHODS, BUT ALMOST INVARIABLY OUR PROOF ARE SHORTER AND CLEANER. IN OTHER CASES, ONLY THE SIMPLIFICATIONS INTRODUCED BY THE USE OF KOLMOGOROV RANDOMNESS ALLOWS US TO SOLVE OPEN PROBLEMS THAT COULD NOT BE SOLVED BY MORE CONVENTIONAL TECHNIQUES. IN CHAPTER 3 WE PRESENT TECHNIQUES TO SHOW SEPARATIONS BETWEEN RELATIVIZED COMPLEXITY CLASSES. SOMOE OF THE IDEAS WE EXPLOIT ARE: ADAPTATIVE VR. NON ADAPTATIVE COMPUTATION; NONDETERMISM VS. CO-NONDETERMINISM; THE USE OF "PASWORDS" TO PROTECT INFORMATION HIDDEN IN THE ORACLE; AND THE LIMITATION OF RESOURCE-BOUNDED MACHINES TO EXTRACT INFORMATION FROM RANDOM ORACLES. WE USE AS EXAMPLES THE SPACE-BOUNDED CLASSES PSPACE AND NPSPACE AND THE TIME-BOUNDED CLASS EXPTIME, AND SHOW THAT EVERY NONCONTRADICTORY INCLUSION RELATION BETWEEN THESE TREE CLASSES IS TRUE RELATIVE TO SOME ORACLE. CHAPTER 4 PRESENTS VARIOUS APPLICATIONS TO COMPUTATIONAL LEARNING, MORE PRECISELY, TO THE MODEL OF EXACT LEARNING VIA QUERIES. BOTH DETERMINISTIC AND RANDOMIZED LEARNERS ARE DISCUSSED. USING KOLMOGOROV -RANDOMNESS ARGUMENTS, WE THEN SHOW SOME LOWER BOUNDS ON THE COMPLEXITY OF THIS COMPUTATIONAL PROBLEM WHEN VARIOUS TYPES OF QUERIES ARE ALLOWED. THIS YIELSD ALTERNATIVE PROOFS OF SOME NON-LEARNABILITY RESULTS. IN CHAPTER 5 WE GENERALIZA THE PROBLEM OF LEARNING TO THAT THE FINDING SHORT DESCRIPTIONS FOR ARBITRARY SETS IN P/POLY. WE FIND VERY TIGH LOWER AND UPPER BOUNDS FOR THE COMPLEXITY OF THIS PROBLEM, GREATLY IMPROVING THE PREVIOUSLY KNOWN BOUNDS AND WE SOLVE SEVERAL PROBLEMS WERW LEFT OPEN CONCERNING THE CLASSES OF SETS EQUIVALENT TO TALLY AND SPARSE SETS UNDER VARIOUS POLYNOMIAL-TIME REDUCIBILITIES.

Autor: LOZANO BOJADOS ANTONI.
Año: 1991.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPT. LSI, UNIV. POLITECNICA DE CATALUNYA.

Resumen: ESTA TESIS ES UN ESTUDIO ESPECIALIZADO EN EL CAMPO DE LA TEORIA DE LA COMPLEJIDAD COMPUTACIONAL. SU NUCLEO ESTA FORMADO POR UNA SERIE DE RESULTADOS TECNICOS EN LOS QUE SE COMPARAN LAS NOCIONES DE COMPLEJIDAD Y ESTRUCTURA DE LOS CONJUNTOS A PARTIR DE DEMOSTRACIONES QUE UTILIZAN PROPIEDADES SOBRE GRAFOS, COMBINATORIA Y CONCEPTOS COMO AUTOREDUCIBILIDAD Y "SPARSENESS". EL OBJETIVO ES PROPORCIONAR UN MEJOR CONOCIMIENTO DE LAS PROPIEDADES ESTRUCTURALES Y DE ESTE MODO OBTENER CONSECUENCIAS INTERESANTES PARA CLASES Y CONJUNTOS USUALES. ESTUDIAMOS BASICAMENTE TRES PROPIEDADES ESTRUCTURALES AUTOREDUCIBILIDAD, REDUCIBILIDAD A CONJUNTOS ESPARSOS, Y LA PROPIEDAD DE TENER UNA JERARQUIA DE PREGUNTAS ACOTADA. SE OBTIENEN RELACIONES ENTRE ESTAS PROPIEDADES Y DIVERSAS CLASIFICACIONES DE LA COMPLEJIDAD COMPUTACIONAL. EN ESPECIAL LAS CLASES P, NP Y OTRAS SUBCLASES DE LA CLASE ESPACE.

Autor: MENDIZ NOGUERO INES.
Año: 1991.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.

Resumen: SE HA DESARROLLADO UN SISTEMA QUE PERMITE SINTETIZAR PROGRAMAS POR MEDIO DE LA DETECCION DE ANALOGIAS CON OTROS PROGRAMAS PREVIAMENTE DESARROLLADOS. EL SISTEMA UTILIZA UN MECANISMO DE RAZONAMIENTO BASADO EN CASOS (CBR) QUE LE PERMITE GENERALIZAR A PARTIR DE EJEMPLOS EN EL DOMINIO DE LA APLICACION. EL PROTOTIPO DESARROLLADO APRENDE CON LA EXPERIENCIA, UTILIZANDO EL CONOCIMIENTO ADQUIRIDO DURANTE EL DISEÑO DE UN ALGORITMO COMO GUIA PARA EL DISEÑO DE OTROS.

Autor: PEREZ COSTOYA FERNANDO.
Año: 1991.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ARQUITECTURA DE COMPUTADORES.

Resumen: EL PRINCIPAL PROBLEMA QUE IMPIDE ACTUALMENTE UNA MAYOR UTILIZACION DE LAS MAQUINAS PARALELAS ES LA FALTA DE HERRAMIENTAS DE PROGRAMACION QUE PERMITAN GENERAR PROGRAMAS TRANSPORTABLES A MAQUINAS CON DIFERENTES PRESTACIONES. EN ESTE TRABAJO SE HA ESTUDIADO SI LOS LENGUAJES CON PARALELISMO EXPLICITO CUMPLEN ESTE REQUISITO Y SON, POR LO TANTO, ADECUADOS PARA PROGRAMAR ESTE TIPO DE MAQUINAS. EL EXCESO DE PARALELISMO, ESTO ES, EL USO DE MAYOR PARALELISMO EN EL PROGRAMA QUE EL PROPORCIONADO POR LA MAQUINA, PARA ESCONDER LA LATENCIA EN LA COMUNICACION, SE PRESENTA EN ESTE TRABAJO COMO UNA SOLUCION A LOS PROBLEMAS DE EFICIENCIA DE LOS PROGRAMAS CON PARALELISMO EXPLICITO CUANDO SE EJECUTAN EN MAQUINAS QUE NO TIENEN UNA GRANULARIDAD ADECUADA. PARA LLEVAR A CABO EL ESTUDIO DE LOS LENGUAJES CON PARALELISMO EXPLICITO, SE HA DESARROLLADO UN MODELO ABSTRACTO DE PARALELISMO, EN EL CUAL UN SISTEMA ESTA FORMADO POR UNA JERARQUIA DE MAQUINAS VIRTUALES PARALELAS. ESTE MODELO PERMITE REALIZAR UN ANALISIS GENERICO DE LA IMPLEMENTACION DE ESTE TIPO DE LENGUAJES. ESTE ANALISIS GENERICO SE HA APLICADO A UN LENGUAJE DE ESTE TIPO, EL LENGUAJE ADA. SE HAN ESTUDIADO LAS CARACTERISTICAS ESPECIFICAS DE ADA QUE PUEDEN INFLUIR EN LA IMPLEMENTACION EFICIENTE DEL LENGUAJE. DENTRO DEL MARCO DEL MODELO DE PARALELISMO, SE ANALIZA TAMBIEN LA PROBLEMATICA ESPECIFICA DE LAS IMPLEMENTACIONES DEL LENGUAJE SOBRE EL SISTEMA OPERATIVO. SE ANALIZAN ESTOS PROBLEMAS Y SE PROPONEN SOLUCIONES A LOS MISMOS. SE DESARROLLA EN PROFUNDIDAD UN EJEMPLO DE ESTE TIPO DE PROBLEMAS: EL ACCESO AL ESTANDAR GRAFICO GKS DESDE ADA.

Autor: PEREZ PEREZ AURORA.
Año: 1990.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS.

Resumen: SE UTILIZA LA TEORIA DE CATEGORIAS Y, EN CONCRETO, DETERMINADAS CATEGORIAS PREORDEN, PARA ABORDAR EL PROBLEMA DE LA SEMANTICA DE LA PROGRAMACION DESDE UN PUNTO DE VISTA DIFERENTE, BASANDOSE EN LA INTERRELACION DE LAS SEMANTICAS ASERCIONAL Y DENOTACIONAL. SE OBTIENE, COMO RESULTADO PRINCIPAL, LA EQUIVALENCIA ENTRE CORRECCION Y ADJUNCION. ESTO PERMITE EXPRESAR LA CORRECCION DE UN PROGRAMA (CON PRECONDICION Y POSTCONDICION DETERMINADAS) MEDIANTE LA ADJUNCION DE DOS FUNTORES QUE SON EL PROPIO PROGRAMA Y SU CORRESPONDIENTE OPERADOR DE PRECONDICION MAS DEBIL. COMO RESULTADO COLATERAL, SE REALIZA UNA NUEVA CARACTERIZACION DE LAS GUARDAS AL CONSIDERARLAS COMO PREDICADOS, LO CUAL PERMITE UN NUEVO TRATAMIENTO DE LOS PROGRAMAS GUARDADOS.

Autor: VELAZQUEZ ITURBIDE JESUS ANGEL.
Año: 1990.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: FACULTAD DE INFORMATICA DE MADRID.

Resumen: LA TESIS DESARROLLA UN METODO DEDUCTIVO PARA LA DERIVACION DE PROGRAMAS FUNCIONALES CON PATRONES, ESCRITOS EN UN LENGUAJE SIMILAR A HOPE. EL METODO UTILIZA UNA LOGICA MULTIGENERO, CUYA RELACION CON EL LENGUAJE DE PROGRAMACION ES ESTUDIADA. TAMBIEN SE IDENTIFICAN LOS ESQUEMAS DE DEMOSTRACION NECESARIOS PARA LA DERIVACION DE FUNCIONES CON PATRONES, BASADOS EN LA DEMOSTRACION INDEPENDIENTE DE VARIAS SUBSENTENCIAS. CADA SUBSENTENCIA PROPORCIONA UNA ESPECIFICACION DE UNA ECUACION DEL FUTURO PROGRAMA A DERIVAR. EL METODO DEDUCTIVO DESARROLLADO ESTA BASADO EN UNO PREVIO DE MANNA Y WALDINGER, CONOCIDO COMO EL CUADRO DEDUCTIVO, QUE DERIVA PROGRAMAS EN UN LENGUAJE SIMILAR A LISP. EL NUEVO METODO ES UNA MODIFICACION DEL CUADRO DE ESTOS AUTORES, QUE INCORPORA TIPOS Y PERMITE DEMOSTRAR UNA ESPECIFICACION MEDIANTE VARIOS CUADROS. CADA CUADRO DEMUESTRA UNA SUBESPECIFICACION Y POR TANTO DERIVA UNA ECUACION DEL PROGRAMA. LA TESIS SE COMPLETA CON MECANISMOS PARA QUE LOS PROGRAMAS DERIVADOS PUEDAN CONTENER DEFINICIONES LOCALES CON PATRONES Y VARIABLES SINONIMAS Y ANONIMAS, CON VARIOS EJEMPLOS DE APLICACION Y UN ANALISIS FUNCIONAL DE UN ENTORNO INTERACTIVO DE DERIVACION DEDUCTIVA.

Autor: ORTEGA MALLEN YOLANDA.
Año: 1989.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE.

Resumen: SE PRESENTA EN EL TRABAJO UN MODELO SEMANTICO PARA PROCESOS CONCURRENTES EN TIEMPO REAL, QUE PERMITE INCORPORAR EL TIEMPO Y EXPRESAR LAS RESTRICCIONES TEMPORALES DE LOS PROCESOS CONCURRENTES, OBTENIENDO UN SISTEMA DE AXJOMAS CORRECTO Y COMPLETO PARA PROCESOS GUARDADOS.

Autor: ARTECHE OTEGUI JOSE.
Año: 1988.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPART. MET. ESTAD. I.O.E. INTELIGENCIA ARTIFICIAL..

Autor: CLERICI SILVIA INES.
Año: 1988.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA DE LA UNIVERSIDAD POLITECNICA DE CATALUÑA..

Resumen: EN ESTA TESIS SE DEFINE UN LENGUAJE DE ESPECIFICACION ALGEBRAICA COMO SOPORTE A LA ETAPA DE DISEÑO DE LA ESPECIFICACION PARA UN PROBLEMA COMPLEJO. GSBL, ES UN LENGUAJE SIMPLE Y CONCISO QUE, ADEMAS DE PERMITIR TRABAJAR SOBRE ESPECIFICACIONES INCOMPLETAS, FOMENTA, A TRAVES DE SUS DOS OPERACIONES OVER Y SUBCLASS Y A TRAVES DE SUS MECANISMOS DE VINCULACION, LA CONSTRUCCION INCREMENTAL DE ESPECIFICACIONES Y LA REUTILIZACION DE COMPONENTES. DICHA REUTILIZACION SE BASA EN LOS CONCEPTOS DE EXTENSION Y HERENCIA. SE EJEMPLIFICA SU USO A TRAVES DE UNA PROGRASION DE CASOS TENDIENTES A ILUSTRAR EL TIPO DE ABSTRACCIONES QUE SON DE INTERES EN LA CONSTRUCCION DE UNA BASE DE ESPECIFICACIONES GENERICAS. SE DA UNA DEFINICION SEMANTICA COMPLETA PARA SUS CONSTRUCCIONES, BASADA EN LOS RESULTADOS TEORICOS OBTENIDOS PARA ESPECIFICACIONES INCOMPLETAS. ESTO HA PERMITIDO LA DEFINICION DE CONDICIONES DE CORRECCION INTERNA DE LAS QUE CARECIAN LOS LENGUAJES LOOK Y LARCH, QUE PODRIAN SER CONSIDERADOS SUS ANTECESORES. EL MARCO FORMAL PARA TRABAJAR CON ESPECIFICACIONES INCOMPLETAS SE BASA EN EL USO DE DOS RELACIONES DE REFINAMIENTO: LOS REFINAMIENTOS HORIZONTALES QUE EXPRESAN RELACIONES DE EXTENSION Y LOS VERTICALES QUE EXPRESAN RELACIONES DE COMPLETAMIENTO. LA COMBINACION DE ESTOS DOS REFINAMIENTOS PRODUCE UN EFECTO SIMILAR, PERO MAS POTENTE, QUE EL PASO DE PARAMETROS STANDARD. FINALMENTE, Y DE CARA A LA VALIDACION FINAL DEL DISEÑO, SE PROPONE UNA EXTENSION DEL LENGUAJE PARA DEFINIR UN TIPO DE ESPECIFICACIONES EFICIENTEMENTE EJECUTABLES POR REESCRITURA Y TRADUCIBLES DIRECTAMENTE A LENGUAJES IMPERATIVOS O FUNCIONALES. SE DEFINE LA SEMANTICA DE ESTA CLASE DE ESPECIFICACIONES, A LAS QUE DENOMINAMOS CANONICAS Y LOS MECANISMOS DE TRADUCCION A PROGRAMAS ADA.

Autor: MORENO NAVARRO JUAN JOSE.
Año: 1988.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE MADRID.

Resumen: EL INTERES NO PURAMENTE ACADEMICO DE LOS LENGUAJES DE PROGRAMACION DECLARATIVOS (FUNCIONALES Y LOGICOS) SE HA INCREMENTADO ENORMEMENTE DESDE QUE LA TECNOLOGIA VLSI HA DEMOSTRADO LAS POSIBILIDADES REALES DE CONSTRUIR MAQUINAS PARALELAS CAPACES DE EJECUTAR PROGRAMAS DECLARATIVOS EFICIENTEMENTE. TAMBIEN EL CRECIENTE PROGRESO ACTUAL DE LAS TECNICAS DE IMPLEMENTACION EN MAQUINAS CONVENCIONALES TAMBIEN HA AYUDADO A A DESPERTAR EL INTERES POR ESTA CLASE DE LENGUAJES. NI PROLOG NI SON LENGUAJES FUNCIONALES DISFRUTAN DE TODOS LOS BENEFICIOS DE LA PROGRAMACION DECLARATIVA. DURANTE LOS ULTIMOS AÑOS SE HAN REALIZADO UNA SERIE DE INTENTOS PARA DISEÑAR LENGUAJES DE PROGRAMACION DECLARATIVOS QUE INTEGREN LOS PARADIGMAS FUNCIONAL Y LOGICO. LA CONSECUCION DE ESTA INTEGRACION ES ALGO MUY DESEABLE, YA QUE EL LENGUAJE RESULTANTE PODRIA EXPLOTAR AMPLIAMENTE LAS FACILIDADES DE LA LOGICA (FUNCIONES, PREDICADOS E IGUALDAD), PERMITIENDO A SUS USUARIOS USARLAS SEPARADAMENTE O MEZCLARLAS DE LA FORMA MAS APROPIADA PARA UNA APLICACION EN PARTICULAR. EN ESTA TESIS SE PRESENTA Y ESTUDIA EL LENGUAJE DE PROGRAMACION EXPERIMENTAL BABEL, DESIGNADO PARA CONSEGUIR LA INTEGRACION DE LA PROGRAMACION FUNCIONAL (COMO LA USADA EN HOPE, STANDARD ML O MIRANDA) Y LA PROGRAMACION LOGICA (COMO LA USADA EN PROLOG) DE UNA FORMA SIMPLE, FLEXIBLE Y MATEMATICAMENTE BIEN FUNDAMENTADA. EL LENGUAJE SIGUE UNA DISCIPLINA DE CONSTRUCTORES, MUY ADECUADO PARA ACOMODAR TERMINOS PROLOG Y PATRONES TIPO HOPE. DESDE EL PUNTO DE VISTA SINTACTICO, BABEL COMBINA PROLOG PURO CON UNA NOTACION FUNCIONAL SIN TIPOS NI FUNCIONES DE ORDEN SUPERIOR. POR OTRO LADO, EL LENGUAJE USA NARROWING COMO BASE DE UNA SEMANTICA DE REDUCCION PEREZOSA, QUE INCLUYE TANTO REESCRITURA COMO RESOLUCION SLD, SOPORTANDO COMPUTOS CON ESTRUCTURAS DE DATOS POTENCIALMENTE INFINITAS. HAY TAMBIEN UNA SEMANTICA DECLARATIVA, BASADA EN DOMINIOS DE SCOTT, QUE APORTA UNA NOCION DE MINIMO MODELO DE HERBRAND PARA LOS PROGRAMAS BABEL. SE DESARROLLAN AMBAS SEMANTICAS PROBANDO RESULTANDOS DE CORRECION Y COMPLETITUD ESTABLECIENDO LA ESPERADA EQUIVALENCIA ENTRE AMBAS. TAMBIEN SE ILUSTRAN LAS CARACTERISTICAS DEL LENGUAJE A TRAVES DE NUMEROSOS EJEMPLOS DE PROGRAMACION. SE HA ARGUMENTADO QUE LA IMPLEMENTACION DEL NARROWING NO ES UNA TAREA FACIL Y QUE SERIA MEJOR REDUCIRLO A RESOLUCION SLD PARA APROVECHAR LAS TECNICAS DE IMPLEMENTACION CONOCIDAS PARA PROLOG. NUESTRA IDEA ES QUE SE PUEDAN USAR LAS MUY EFICIENTES TECNICAS EXISTENTES PARA LOS LENGUAJES FUNCIONALES. SE HA DISEÑADO UNA EXTENSION DE UNA MAQUINA FUNCIONAL POR DE REDUCCION DE GRAFOS. CON FACILIDADES PARA MANEJAR BACKTRAKING Y UNIFICACION SIGUIENDO LAS IDEAS DE LA MAQUINA ABSTRACTA DE WARREN PARA PROLOG. DE ESTA FORMA, SE OBTIENE UNA MAQUINA ABSTRACTA PARA NARROWING PARA UNA VERSION SECUENCIAL E INNERMOST DE BABEL. PENSAMOS QUE NUESTRA APROXIMACION PERMITE REALIZAR IMPLEMENTACIONES EFICIENTES DEL LENGUAJE. EL TRABAJO TAMBIEN INCLUYE UN INTERPRETE PROLOG PARA BABEL.

Autor: FERNANDEZ CAMACHO M. INES.
Año: 1987.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE CIENCIAS MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE DE MADRID. ECOLE POLYTECHNIQUE (FRANCIA)..

Resumen: EN ESTA TESIS SE ABORDA EL ESTUDIO DEL COMPORTAMIENTO MEDIO DE DIVERSOS ALGORITMOS DE REDUCCION DE ESTRUCTURAS ARBORESCENTE DEL ESTILO DE LAS UTILIZADAS PARA REPRESENTAR EXPRESIONES ARITMETICO-LOGICAS; CON LA CARACTERISTICA COMUN DE SU PROCEDER ASCENDENTE RECURSIVO SOBRE LA ESTRUCTURA QUE RECIBEN COMO ENTRADA (FILOSOFIA BOTTOM-UP ). ALGORITMO DE ESTE TIPO SE ENCUENTRAN EN EL CONTEXTO DE LA SIMPLIFICACION ALGEBRAICA Y EN PARTICULAR POR EJEMPLO EN LA SIMPLIFICACION DE TERMINOS DEL CALCULO PROPOSICIONAL. SE PRESENTA UN TRATAMIENTO SISTEMATICO Y UNIFORME PARA TALES PROCESOS EN EL QUE SE RECURRE A DIVERSAS TECNICAS DEL ANALISIS COMBINATORIO Y COMPLEJO HACIENDOSE EN PARTICULAR UN USO EXHAUSTIVO DEL TEOREMA DE DARBOUX PARA LA APROXIMACION ASINTOTICA DE COEFICIENTES DE SERIES DE POTENCIAS ASI COMO DEL TEOREMA DE WEIERSTRASS SOBRE LA COMPLETITUD DEL ESPACIO DE LAS FUNCIONES HOLOMORFAS. SE CONTRASTAN LOS RESULTADOS OBTENIDOS PARA EL COMPORTAMIENTO MEDIO DE LOS ALGORITMOS ESTUDIADOS CON SU COMPORTAMIENTO EN EL CASO PEOR. EL ESTUDIO DE LA COMPLEJIDAD MEDIA DE LOS ALGORITMOS DE SIMPLIFICACION CONSIDERADOS VA PRECEDIDO DEL PREVIO SOBRE DIVERSOS PARAMETROS DEFINIDOS SOBRE LAS ESTRUCTURAS OBTENIDAS COMO SALIDAS DE DICHOS ALGORITMOS EN CONCRETO LA MEDIA Y LA VARIANZA DE SU TAMAÑO. PARA ESTOS RESULTADOS TEORICOS SE DAN ADEMAS SENDAS SIMULACIONES EXPERIMENTALES QUE SE AJUSTAN FIELMENTE A LOS MISMOS VALIDANDOLOS DESDE EL PUNTO DE VISTA DE LA PRACTICA REAL.

Autor: VALENCIANO LLOVERA FEDERICO.
Año: 1987.
Universidad: PAIS VASCO.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS DE LA UNIVERSIDAD DEL PAIS VASCO.

Resumen: SE PROPONE UN FORMALISMO PARA EL TRATAMIENTO DEL INDETERMINISMO EN EL CONTEXTO DE LA ESPECIFICACION ALGEBRAICA DE TIPOS DE DATOS CUYAS BASES SON LAS SIGUIENTES: 1) EL USO DE LAS ALGEBRAS ORDENADAS (CIERTA CLASE RESTRINGIDA DE ELLAS) COMO MEDIO PARA DESCRIBIR COMPORTAMIENTOS NO DETERMINISTAS; ES DECIR COMO EXPRESION FORMAL DE LA NOCION DE TIPO DE DATOS NO DETERMINISTA. 2) LA UTILIZACION DE SISTEMAS MIXTOS DE ECUACIONES E INECUACIONES CON VARIABLES DE INSTANCIACION RESTRINGIDA PARA SU ESPECIFICACION. FORMULANDOSE CONDICIONES BAJO LAS CUALES ES POSIBLE TOMAR SEMANTICA INICIAL Y FINAL EN ESTAS ESPECIFICACIONES. 3) POSIBILIDAD DE DOTAR A LAS ESPECIFICACIONES DE UNA SEMANTICA OPERACIONAL BASADA EN REESCRITURA SI SE SATISFACEN CIERTOS REQUISITOS (TERMINACION FINITA Y CONFLUENCIA PARCIAL). COMPLETAN ESTOS RESULTADOS UNA EXTENSION DEL TEOREMA DE KNUTH-BENDIX QUE PERMITE DECIDIR SI ESTA CONDICION DE CONFLUENCIA PARCIAL ES SATISFECHA POR UN SISTEMA MIXTO FINITO Y TERMINANTE Y UNA ADAPTACION DEL ALGORITMO DE KNUTH-BENDIX QUE PERMITE CUANDO ACABA CON EXITO COMPLETAR SISTEMAS QUE NO SATISFAGAN ESTAS CONDICIONES. SE FORMULA ASI MISMO UN CONCEPTO DE IMPLEMENTACION BASADO EN LA IDEA DE REFINAMIENTO (REDUCCION DEL GRADO DE INDETERMINISMO) Y UN CONCEPTO DE IMPLEMENTACION DETERMINISTA DE ESPECIFICACIONES NO DETERMINISTAS ESTABLECIENDOSE CONDICIONES SUFICIENTES PARA SU EXISTENCIA.

Autor: NAVARRO GOMEZ M. LUISA.
Año: 1986.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE SAN SEBASTIAN.

Resumen: LA REESCRITURA ES UN CONCEPTO Y UNA HERRAMIENTA BASICA HOY EN DIA PARA LA REALIZACION DE DISTINTAS TAREAS LIGADAS A LAS ESPECIFICACIONES ALGEBRAICAS DE TIPOS ABSTRACTOS DE DATOS. SU INTERES SE CENTRA ESENCIALMENTE EN LA EJECUCION DE ESPECIFICACIONES Y EN LA DEMOSTRACION DE TEOREMAS. EL USO DE ESPECIFICACIONES CONDICIONALES NECESARIO PARA TRATAR ALGUNAS CLASES DE PROBLEMAS DA LUGAR A DIVERSOS ENFOQUES DE REESCRITURA CONDICIONAL EN LOS QUE EL MANEJO DE CONDICIONES APORTA NUEVOS PROBLEMAS. EN ESTA TESIS SE REALIZA UN ESTUDIO DE DISTINTAS TECNICAS DE REESCRITURA CONDICIONAL. LOS PUNTOS MAS SEÑALADOS SON LOS SIGUIENTES: 1- DEFINICION GENERAL Y CONDICIONES DE COMPLETITUD DE DIVERSOS METODOS JERARQUICOS EN CONEXION CON LA REESCRITURA CONDICIONAL RECURSIVA. 2- ESTUDIO DE LAS LOG-ESPECIFICACIONES CONDICIONALES ESPECIFICACIONES CUYOS MODELOS TIENEN COMO SOPORTE BOOLEANO EXACTAMENTE A LOS BOOLEANOS . PARA ESTE TIPO DE ESPECIFICACIONES SE DEFINE UN SISTEMA DE DEDUCCION COMPLETO Y SE DA UNA CARACTERIZACION SINTACTICA DE LA CORRECCION DE LAS LOG-ESPECIFICACIONES PARAMETRIZADAS. 3- SE PRESENTA LA REESCRITURA CONTEXTUAL COMO METODO DE DEDUCCION COMPLETO ASOCIADO A LAS LOG-ESPECIFICACIONES. TAMBIEN SE DA UNA CONDICION QUE GARANTIZA LA COMPLETITUD DEL METODO JERARQUICO EN ESTE AMBITO.

Autor: VIÑALS YUFERA VICTOR.
Año: 1986.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA DE LA UNIVERSIDAD POLITECNICA DE CATALUÑA.

Resumen: EN ESTE TRABAJO SE PRESENTA UN SISTEMA AUTOMATICO PARA EFECTUAR MEDIDAS SOBRE PROGRAMAS ESCRITOS EN LENGUAJES IMPERATIVOS DE ALTO NIVEL. EN EL TRABAJO SE CONSIDERAN LA PRECISION Y MONTABILIDAD DE DIVERSAS ALTERNATIVAS DESCRIBIENDOSE POSTERIORMENTE LA FILOSOFIA EMPLEADA PARA LA CONSTRUCCION DEL SISTEMA. LAS PROPIEDADES BASICAS DEL SISTEMA SON A) FACILIDAD DE INCLUSION DE NUEVAS ESTADISTICAS B) REDUCIDO COSTE ESPACIAL Y C) REDUCIDO COSTE TEMPORAL. FINALMENTE SE COMENTA LA APLICACION DE LAS IDEAS EXPUESTAS A LA CONSTRUCCION DE SISTEMAS DE MEDIDA DE BAJO NIVEL (ARQUITECTURA DEL NIVEL DE LENGUAJE MAQUINA).

Autor: MARTIN FABA JOSE.
Año: 1982.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE LA UNIVERSIDAD POLITECNICA DE MADRID.

Resumen: EL SISTEMA INTERACTIVO DE AYUDA AL DISEÑO DE PROGRAMAS EN EL RESULTADO DE LA INVESTIGACION EN LA APLICACION DE LA TEORIA DE AUTOMATICA FINITOS EN EL DISEÑO DE PROGRAMAS DE ORDENADOR Y DE LA GENERACION AUTOMATICA DE LOS MISMOS. SE HA REALIZADO UNA FORMALIZACION DE LAS ESTRUCTURAS DE DATOS INDENTIFICANDOLAS CON EXPRESIONES REGULARES. PARA ELLO SE UTILIZAN LOS OPERADORES CONCATENACION UNION INTERSECCION COMPLEMENTARIO E ITERACION PROPIOS DEL ALGEBRA REGULAR. EN ESTE SENTIDO EL SLADP PUEDE: 1. GENERAR UN PROGRAMA EN APL QUE ES CAPAZ DE TRATAR LA ESTRUCTURA DE DATOS RESULTADO DE LA CONSOLIDACION DE LOS DISTINTOS CONJUNTOS DE DATOS QUE INTERVIENEN EN EL MISMO. 2. TRATAR FACILMENTE UNA CADENA ENTENDIDA COMO UNA SECUENCIAS DE CARACTERES. POR OTRA PARTE SE UTILIZA EL CONCEPTO DE AUTOMATA FINITO PARA PODER DESCRIBIR EL COMPORTAMIENTO DE UN PROGRAMA. EL SITEMA ES INTERACTIVO YA QUE HA SIDO PROGRAMADO EN APL.

Autor: BOTELLA LOPEZ PERE.
Año: 1981.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE BARCELONA.

Resumen: SE PRESENTA UN NUEVO ENFOQUE DEL USO DE TIPOS DE DATOS EN LA CONSTRUCCION DE PROGRAMAS DE FORMA QUE ESTOS SE CONSTITUYEN EN SOPORTE FORMAL DE LOS ESQUEMAS DE PROGRAMA. ASI SE LLEGA A UNA SINTESIS DE DOS METODOS DE PROGRAMACION: EL USO DE TIPOS ABSTRACTOS Y EL USO DE ESQUEMAS. COMO CONSECUENCIA SE FORMALIZA EL TRATAMIENTO DE FILAS Y ARBOLES MEDIANTE ESQUEMAS Y SE DEFINE UN METODO DE VERIFICACION PARA PROGRAMAS ABSTRACTOS.

Autor: LLAMOSI CASAS ALBERTO.
Año: 1981.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAT D INFORMATICA DE BARCELONA.

Autor: GONZALEZ FERNANDEZ VALLEJO CARLOS.
Año: 1976.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA .

Autor: MOYA QUILES ROBERTO.
Año: 1976.
Universidad: PAIS VASCO.
Centro de lectura: CIENCIAS.
Centro de realización: UNIVERSIDAD DE BILBAO; FACULTAD DE CIENCIAS.

Resumen: EN ESTE TRABAJO SE DISEÑA E IMPLEMENTA UN SISTEMA DE PROGRAMACION ESTRUCTURADA QUE INCORPORA DE FORMA NATURAL LOS MECANISMOS DE DESCOMPOSICION DE LOS SISTEMAS COMPLEJOS EN MODULOS ELEMENTALES. COMO SOPORTE TEORICO HEMOS UTILIZADO ENTRE OTRAS LAS IDEAS DE LA TEORIA DE LENGUAJES Y EN PARTICULAR LA JERARQUIA DE GRAMATICAS DE CHOMSKY ADAPTADAS Y MODIFICADAS DE ACUERDO CON LAS NECESIDADES DE NUESTRO TRABAJO LO QUE DIO LUGAR A LA DEFINICION DE UN NUEVO CONCEPTO QUE HEMOS DENOMINADO E-GRAMATICAS (E DE ESTRUCTURA). PARTIENDO DE LOS CONCEPTOS DE PROGRAMACION ESTRUCTURADA Y LOS MECANISMOS DE ANALISIS DE PROGRAMAS DE IANOV HEMOS LLEGADO A LA DESCRIPCION COMPLETA DE UN PROGRAMA EN UNA FORMA MAS FLEXIBLE LO QUE PROPORCIONA UN SISTEMA DE PROGRAMACION MUY VERSATIL. LA REALIZACION CONCRETA OPERA EN EL ENTORNO DE TIEMPO COMPARTIDO DEL S.O. PARA EL UNIVAC 1100 ACEPTANDO EN FORMA PARAMETRICA LOS LENGUAJES: ALGOL FORTRAN O COBOL