Tesis Doctorales UPM: Consulta online

Materia: MATEMATICAS. Teseo;CIENCIAS DE LA COMPUTACION. Teseo;DISEÑO ASISTIDO POR ORDENADOR. Teseo;TEORIA DE LA PROGRAMACION. Teseo

Resumen: El sistema interactivo de ayuda al diseño de programas en el resultado de la investigación en la aplicacion de la teoria de automática finitos en el diseño de programas de ordenador y de la generación automática de los mismos. Se ha realizado una formalización de las estructuras de datos indentificándolas con expresiones regulares. para ello se utilizan los operadores concatenacion unión intersección complementario e iteración propios del álgebra 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 consolidación 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 autómata finito para poder describir el comportamiento de un programa, el sistema es interactivo ya que ha sido programado en apl