Tesis:
Lenguaje formal para la automatizacion de programas estructurados
- Autor: GARCIA DE DIEGO BARBER, María Teresa
- Título: Lenguaje formal para la automatizacion de programas estructurados
- Fecha: 1992
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: INTELIGENCIA ARTIFICIAL
- Acceso electrónico:
- Director/a 1º: CUEVAS AGUSTIN, Gonzalo
- Resumen: La metodología de Warnier representa, durante la fase de análisis, la relación entre acciones y condiciones mediante Tablas de Verdad. La deducción por métodos convencionales del programa correspondiente a casos complejos es ardua y expuesta a costosos errores. El objetivo de esta tesis es la determinación de un método formal, utilizando elementos de la teoría de autómatas y de la inteligencia artificial, que permita dicha deducción de una manera automática y optimizada, es decir con las características de las herramientas CASE. Si es factible representar estas tablas como un lenguaje regular, siempre se podrá encontrar un autómata finíto y una gramática regular asociados a tal lenguaje, de manera que el primero lleve el sistema considerado a su forma canónica, y la segunda genere la estructura y el seudocódigo del programa. Con ello se obtendría un universo de soluciones igualmente válidas desde un punto de vista formal, pero sin determinar la solución óptima en términos de consumo de recursos tecnológicos (ciclos y memoria). Para ello, se plantea la incorporación de una función heurística que da lugar a un algorítmo sobre un autómata finito y no determinista, deducido de la Tabla de Verdad, de manera que en un único paso refunde los procesos de determinismo y minimización y obtiene la solución buscada. Tal algorítmo establece sobre el autómata una relación de equivalencia en el lenguaje, encontrando la solución mediante una poda en el espacio de búsqueda, y estableciendo el lenguaje regular que la representa