Robust biomolecular finite automata
Robust biomolecular finite automata
复制标题
DOI：
10.1016/j.tcs.2020.01.008
复制
发表时间：
2020-05-06
影响因子：
1.1
通讯作者：
Lutz, Jack H.
中科院分区：
文献类型：
--
作者：
Klinge, Titus H.;Lathrop, James, I;Lutz, Jack H.
我们提出了一个统一的方法，将任意的非确定性有限自动机（NFA）转换成一个确定性的质量作用输入/输出化学反应网络（I/O CRN），模拟它。I/O CRN接收其输入作为一个连续的时间信号组成的浓度的化学物种，变化，以代表NFA的输入字符串在一个自然的方式。I/O CRN利用化学动力学的固有并行性，以真实的时间模拟NFA，其中许多化学物质在NFA的大小上是线性的。我们证明了模拟是正确的，它是鲁棒的输入信号的扰动，物种的初始浓度，输出（决定），和I/O CRN的反应的速率常数。(C)2020 Elsevier B. V.保留所有权利。
We present a uniform method for translating an arbitrary nondeterministic finite automaton (NFA) into a deterministic mass action input/output chemical reaction network (I/O CRN) that simulates it. The I/O CRN receives its input as a continuous time signal consisting of concentrations of chemical species that vary to represent the NFA's input string in a natural way. The I/O CRN exploits the inherent parallelism of chemical kinetics to simulate the NFA in real time with a number of chemical species that is linear in the size of the NFA. We prove that the simulation is correct and that it is robust with respect to perturbations of the input signal, the initial concentrations of species, the output (decision), and the rate constants of the reactions of the I/O CRN. (C) 2020 Elsevier B.V. All rights reserved.