MAQUINAS MOLECULARES BASADAS EN ADN

Pérez Jiménez, Mario de J.
Sancho Caparrini, Fernando

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 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 estudios es el "modelo stiker", que admite operaciones que alteran dicha estructura y, por tanto, puede usar las moléculas a modo de unidades de momoria, 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