Turing Completeness of Elementary Reaction Systems under the Differential Semantics and Compilation of Mixed Analog-Digital Programs - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Turing Completeness of Elementary Reaction Systems under the Differential Semantics and Compilation of Mixed Analog-Digital Programs

Résumé

When seeking to understand how computation is carried out in the cell to maintain itself in its environment, process signals and make decisions, the continuous nature of protein interaction processes forces us to consider also analog computation models and mixed analog-digital computation programs. Recent results in the theory of analog computability and complexity establish however fundamental links with classical programming. In this paper, we show the Turing completeness of systems of elementary reactions without polymerisation, under the differential semantics. We derive from this result a compiler of mathematical functions into elementary biochemical reactions. We illustrate the reaction code generated by our compiler on trigonometric functions, and on various sigmoid functions which can serve as markers of presence or absence for implementing program control instructions in the cell and imperative programs. On Hill functions, we compare our compiler-generated circuits to the natural circuit of the MAPK signaling network, which plays the role of an analog-digital converter in the cell with Hill type sigmoid input/output functions.
Fichier principal
Vignette du fichier
FLBP17cmsb.pdf (439.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01519828 , version 1 (09-05-2017)
hal-01519828 , version 2 (02-07-2017)
hal-01519828 , version 3 (29-08-2017)

Identifiants

  • HAL Id : hal-01519828 , version 1

Citer

Francois Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly. Turing Completeness of Elementary Reaction Systems under the Differential Semantics and Compilation of Mixed Analog-Digital Programs. 2017. ⟨hal-01519828v1⟩
1544 Consultations
2605 Téléchargements

Partager

Gmail Facebook X LinkedIn More