Breve descripción
La Computación Natural o Biocomputación es una disciplina
inspirada en el funcionamiento de los organismos vivos y tiene
como objetivo fundamental la simulación e implementación de los procesos
dinámicos que se dan en la Naturaleza y que son susceptibles de ser
considerados como procedimientos de cálculo.
La Computación Biomolecular es la rama de la Computación
Natural que trata del procesamiento de la información codificada a través
de macromoléculas (como el ADN, el ARN o las proteínas). En 1994 esta
computación pasa de un plano teórico (in info) a un plano experimental
( in vitro). Es el nacimiento de la computación molecular basada en
ADN.
Este libro tiene como objetivo principal el estudio de ciertas máquinas
moleculares diseñadas en modelos no convencionales dentro del marco de
la Computación Natural, desde el punto de vista de la potencia
computacional y de la capacidad para atacar la resolubilidad de
problemas matemáticos especialmente difíciles.
Para ello, se han elegido tres modelos de computación molecular que
poseen características dispares y usan como sustrato físico el ADN. Los
dos primeros, el modelo no restringido de Adleman y
el modelo débil de Amos, son modelos sin memoria ya que sus
operaciones primitivas no alteran la estructura interna de las
moléculas. El tercer modelo objeto de estudio es el modelo
sticker, que admite operaciones que alteran dicha
estructura y, por tanto, puede usar las moléculas a modo de unidades de
memoria, susceptibles de ser modificadas en en tiempo de ejecución.
Este libro es el primer texto escrito en lengua castellana dedicado a la
Computación Molecular basada en ADN. Esperamos y confiamos que su
contenido proporcione métodos y técnicas que puedan ser de utilidad para
estudios posteriores acerca de dichos modelos no convencionales, en
particular para el análisis de la robustez de procedimientos complejos
descritos en dichos modelos y para la mecanización de los procesos de
verificación de programas moleculares en sistemas de razonamiento automático.