Strong Turing Completeness of Continuous Chemical Reaction Networks
le 9 octobre 2024
13h15Campus de Beaulieu Salle i-51 - bât. 12D
Intervention de Amaury Pouly, chercheur CNRS, dans le cadre des séminaires du département Informatique.
In this talk, I will present some results on the Turing completeness of continuous chemical reaction networks (CRNs).
We will see the link between these results and recent advances in the theory of analog computability and complexity.
In particular, we will see how CRNs relate to the General Purpose Analog Computer (GPAC), a continuous-time analog model
introduced by Claude Shannon in 1941. The GPAC is a physically feasible model in the sense that it can be implemented
in practice through the use of analog electronics or mechanical devices. I will then discuss the limit of this equivalence
when it comes to biological implementations and highlight the crucial importance of robustness when designing CRNs.
We will see the link between these results and recent advances in the theory of analog computability and complexity.
In particular, we will see how CRNs relate to the General Purpose Analog Computer (GPAC), a continuous-time analog model
introduced by Claude Shannon in 1941. The GPAC is a physically feasible model in the sense that it can be implemented
in practice through the use of analog electronics or mechanical devices. I will then discuss the limit of this equivalence
when it comes to biological implementations and highlight the crucial importance of robustness when designing CRNs.
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- David Pichardie
Mise à jour le 2 octobre 2024