Menu Content/Inhalt
Home arrow Seminarios arrow [12/6] Un proceso para la derivación formal de algoritmos que combina ...
[12/6] Un proceso para la derivación formal de algoritmos que combina ...

por Juan Durán

Dos enfoques bien conocidos para la derivación formal de programas son: el uso de un método de derivación (expresado en términos de técnicas para el diseño y la mejora de eficiencia de algoritmos) y la instanciación de un esquema de algoritmo para una clase de problemas. Ambos enfoques coexisten en lugar de cooperar y tienen distintos tipos de beneficios; por eso, buscamos procesos que combinen ambos enfoques y tengan sus beneficios.

Uno de tales procesos consiste en utilizar un método de derivación para la construcción de un esquema de algoritmo para una clase de problemas, e instanciar ese esquema de algoritmo para la derivación de aplicaciones. Como caso de estudio usamos ese proceso para derivar un esquema de algoritmo que genera un árbol generalizado maximal que satisface una propiedad dada, e instanciamos ese esquema de algoritmo para construir dos ejemplos de aplicación. Basamos nuestro estudio en el álgebra de lenguajes formales y en las álgebras de Kleene.

 
< Anterior   Siguiente >
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com