论文标题
代数生物化学:单元格中模拟在线计算的框架
Algebraic Biochemistry: a Framework for Analog Online Computation in Cells
论文作者
论文摘要
连续化学反应网络(CRN)的图丁完整性指出,任何可计算的实际功能都可以通过连续的CRN在有限的一组分子物种上计算,这可能仅限于基本反应,即大多数反应剂和质量作用法和质量作用法动力学。在本文中,我们介绍了CRN的在线模拟计算概念,该计算稳定其输出物种的浓度是其输入物种浓度值的某些功能的结果,无论在计算过程中,输入上的任何变化都在输入中进行。我们证明,具有大规模作用法动力学稳定的一组实际功能恰恰是一组实际代数函数。
The Turing completeness of continuous chemical reaction networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular species, possibly restricted to elementary reactions, i.e. with at most two reactants and mass action law kinetics. In this paper, we introduce a notion of online analog computation for the CRNs that stabilize the concentration of their output species to the result of some function of the concentration values of their input species, whatever changes are operated on the inputs during the computation. We prove that the set of real functions stabilized by a CRN with mass action law kinetics is precisely the set of real algebraic functions.