Sammanfattning Motiverad av den spännande komplexiteten i biokemiska kretsar inom enskilda celler studerar vi Stochastic Chemical Reaction Networks (SCRNs), en formell modell som överväger en uppsättning kemiska reaktioner som verkar på ett begränsat antal molekyler i en välskött lösning enligt standard kemiska kinetik ekvationer. SCRNs har i stor utsträckning använts för att beskriva naturligt förekommande (bio)kemiska system, och med tillkomsten av syntetisk biologi de blir ett lovande språk för utformningen av artificiella biokemiska kretsar. Vårt intresse här är beräkningskraften hos SCRNs och hur de relaterar till mer konventionella modeller av beräkning. Vi undersöker kända anslutningar och ger nya anslutningar mellan SCRNs och Booleska Logic Circuits, Vector Addition Systems, Petri nät, Gate Implementability, Primitive Recursive Functions, Register Machines, Fractran, och Turing Machines. Ett tema för dessa undersökningar är den tunna linjen mellan decidable och obeslutsamma frågor om SCRN beteende.
Den beräkningskraft av Chemical Reaction Networks, som ses som ett programmeringsspråk för tekniska biokemiska system, har studerats av ett antal författare, för att nämna REF och.
Programmability of chemical reaction networks
{'venue': 'Caltech Parallel and Distributed Systems Group [http://caltechparadise.library.caltech.edu/perl/oai2] (United States), 2008. In submission', 'journal': None, 'mag_field_of_study': ['Computer Science']}