Verificación de programas en modelos de computación no convencionales
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares....
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2002 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/23904 |
| Acceso en línea: | http://hdl.handle.net/11441/23904 |
| Access Level: | acceso abierto |
| Palabra clave: | Programación de ordenadores Programas y sistemas de programación |
| Sumario: | El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares. El primero de ellos, el modelos sticker, es un modelo de computación molecular que usa como sustrato físico el ADN y que se describe a través de un conjunto de operaciones básicas susceptibles de ser implementadas en el laboratorio con las técnicas actuales de biología molecular. Dichas operaciones, a modo de instrucciones de un lenguaje de programación, permiten que los procedimientos diseñados en el modelo adquieran la forma de programas. El segundo de los modelos elegidos es el denominado computación celular con membranas o P sistemas. En este modelo, los procedimientos se describen por medio de mecanismos o dispositivos similares a máquinas, de ejecución independiente.| |
|---|