Desarrollo de sistemas físicos para implantar modelos de computación con membranas.

Resumen

Esta tesis doctoral se encuadra dentro del proceso de implantación en sistemas hardware de uno de los modelos de computación con membranas: los P sistemas de transición. Este proceso consiste en encontrar e implementar un sistema hardware, lo más genérico posible, que se comporte como lo hace dicho modelo. Los P sistemas describen elementos y manejan componentes muy cercanos a la biología. En particular, tratan de formalizar la descripción de membranas y regiones que contienen objetos (que corresponden con sustancias químicas y enzimas) que son transformados o enviados a otras regiones mediante la aplicación de reglas de evolución (que corresponden con reacciones químicas).
La implantación en sistemas físicos de los P sistemas de transición en una tarea compleja que requiere la división del sistema completo en varios circuitos con objetivos particulares más concretos. Además, el procedimiento general para obtener un sistema hardware debe recorrer una secuencia ordenada de sucesivas etapas o fases. En el desarrollo de esta tesis doctoral se llevan a cabo ambos niveles de secuencialización:
 Primero: se divide el sistema completo en bloques o unidades funcionales más reducidas.
 Segundo; se realiza el diseño e implementación de las unidades obtenidas siguiendo la una secuencia de pasos ordenada.
En esta tesis se realiza el diseño del los circuitos que permite obtener y aplicar las reglas de evolución para un P sistema de transición. Además, se realiza la síntesis del circuito que se ocupa de seleccionar las reglas a aplicar (denominadas reglas activas) para que una región de un P-sistema evolucione desde un estado al siguiente. Este circuito dará como salida aquellas reglas que cumplan todas las condiciones necesarias para ser aplicadas en un paso de evolución del sistema.