Modelización de Sistemas de Computación Distribuida con Bacterias Sintéticas mediante Autómatas Celulares

La conjugación es un sistema de comunicación distribuido que permite los intercambios de información genética entre bacterias. Este mecanismo peer-to-peer permite a las bacterias compartir estrategias de supervivencia implementadas en plásmidos de ADN. El presente trabajo se centra en la modelización de las dinámicas de conjugación mediante el uso de un autómata celular asíncrono y pretende servir como una aproximación formal y una herramienta de validación conceptual dentro del ámbito de la biología sintética. Este modelo se ha centrado en un caso de uso específico, una colonia heterogénea de bacterias modificadas genéticamente para discriminar plásmidos en base a la afinidad de los promotores y factores de transcripción de dos conjuntos de partida.Conjugation is a distributed communication system which allows exchanges of genetic information among bacteria. This peer-to-peer mechanism allows bacteria to share survival strategies implemented in DNA plasmids. This paper focuses on the modeling of conjugation dynamics by using asynchronous cellular automata. It intends to serve in the field of synthetic biology as a formal approach and a conceptual validation tool. This model has been focused on a specific use case, a heterogeneous colony of engineered bacteria that discriminate plasmids by evaluating affinity among pairs of promoters and transcription factors