Universality in Molecular and Cellular Computing

作者: Sergey Verlan

DOI: 10.1007/978-3-319-20028-6_10

关键词: Cellular automatonRegister machineTuring machinePure mathematicsTheoretical computer scienceCellular computingUniversality (dynamical systems)Boolean networkMathematics

摘要: In this article we present an overview of the study universality problem in area molecular and cellular computing. We consider results that deal explicitly with aim to optimize obtained construction. A particular attention is given models based on splicing operation as well multiset-rewriting models.

参考文章(64)
Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Introduction: DNA Computing in a Nutshell DNA Computing. pp. 1- 6 ,(1998) , 10.1007/978-3-662-03563-4_1
Gheorghe Paun, Erzsébet Csuhaj-Varjú, Lila Kari, Test Tube Distributed Systems Based on Splicing Computing and Informatics \/ Computers and Artificial Intelligence. ,vol. 15, pp. 211- 232 ,(1996)
Rémi Bonnet, The Reachability Problem for Vector Addition System with One Zero-Test Mathematical Foundations of Computer Science 2011. pp. 145- 157 ,(2011) , 10.1007/978-3-642-22993-0_16
Handbook of Natural Computing Springer Publishing Company, Incorporated. ,(2011) , 10.1007/978-3-540-92910-9
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan, Small Universal Non-deterministic Petri Nets with Inhibitor Arcs descriptional complexity of formal systems. ,vol. 8614, pp. 186- 197 ,(2014) , 10.1007/978-3-319-09704-6_17
Gheorghe Paun, Arto Salomaa, Grzegorz Rozenberg, The Oxford Handbook of Membrane Computing ,(2010)
Matthew J. Patitz, Scott M. Summers, Self-assembly of Decidable Sets Unconventional Computing. pp. 206- 219 ,(2008) , 10.1007/978-3-540-85194-3_17
Nicolas Ollinger, Automates cellulaires : structures Ecole normale supérieure de lyon - ENS LYON. ,(2002)
康文 榊原, G. Paun, G. Rozenberg and A. Salomaa : "DNA Computing-New Computing Paradigms", Springer-Verlag (1998) 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence. ,vol. 15, pp. 536- ,(2000)
Maurice Margenstern, Yurii Rogozhin, Sergey Verlan, Time-Varying Distributed H Systems with Parallel Computations: the Problem is Solved international workshop on dna based computers. ,vol. 2943, pp. 48- 54 ,(2003) , 10.1007/978-3-540-24628-2_6