The conformon-P system: A molecular and cell biology-inspired computability model

Theoretical Computer Science

Volumn 312, Issue 2-3, 2004, Pages 295-319

  Frisco, Pierluigi ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Conformon; DNA computing; P system

Indexed keywords

BIOLOGICAL MEMBRANES; CELLS; COMPUTATIONAL METHODS; CYBERNETICS; DNA; ENTROPY; FREE ENERGY; GRAVITATION; MATHEMATICAL MODELS; MOLECULAR BIOLOGY; PETRI NETS; RNA;

CONFORMONS; DNA COMPUTING; INTRACELLULAR DISSIPATIVE STRUCTURES (IDS);

COMPUTER SCIENCE;

EID: 0347600627     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2003.09.008     Document Type: Article

References (30)

1. Baker B.S., Book R.V. Reversal-bounded multipushdown machines. J. Comput. System Sci. 8:1974;315-332.
2. J. Castellanos, G. Pǎun, A. Rodriguez-Paton, P systems with worm objects, in: IEEE 7th. Internat. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, 2000, pp. 64-74 (See also CDMTCS TR 123, Univ. of Auckland, 2000 ( www.cs.auckland.ac.nz/CDMTCS )).
3. J. Castellanos, G. Pǎun, A. Rodriguez-Paton, P systems with worm objects, in: IEEE 7th. Internat. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, 2000, pp. 64-74 (See also CDMTCS TR 123, Univ. of Auckland, 2000 ( www.cs.auckland.ac.nz/CDMTCS )).
4. P. Frisco, S. Ji, Conformons-P systems, in: M. Hagiya, A. Ohuchi (Eds.), DNA Computing, 8th Internat. Workshop on DNA-Based Computers, DNA 2002, Sapporo, Japan, 10-13 June 2002, Hokkaido University, 2002, pp. 161-170 (Also in LNCS 2568, pp. 291-301).
5. P. Frisco, S. Ji, Conformons-P systems, in: M. Hagiya, A. Ohuchi (Eds.), DNA Computing, 8th Internat. Workshop on DNA-Based Computers, DNA 2002, Sapporo, Japan, 10-13 June 2002, Hokkaido University, 2002, pp. 161-170 (Also in LNCS 2568, pp. 291-301).
6. P. Frisco, S. Ji, Towards a hierarchy of info-energy P systems, in: WMC-CdeA2002, Workshop on Membrane Computing, Curtea de Arges, Romania, 19-23 August 2002, Lecture Notes in Computer Science, Springer, Berlin, Vol. 2597, 2002, pp. 302-318.
7. D.E. Green, S. Ji, The electromechanical model of mitochondrial structure and function, in: J. Schultz, B.F. Cameron (Eds.), Molecular Basis of Electron Transport, 1972, pp. 1-44.
8. Greibach S.A. Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7:1978;311-324.
9. Head T. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biol. 49(6):1987;737-759.
10. H.J. Hoogeboom, Carriers and counters. P systems with carriers vs. (blind) counter automata, in: M. Ito, M. Toyama (Eds.), Developments in Language Theory, Lecture Notes in Computer Science, V. 2450, Springer, Berlin, 2003, pp. 140-151.
11. Ji S. The Bhopalator. a molecular model of the living cell based on the concepts of conformons and dissipative structures J. Theoret. Biol. 116:1985;395-426.
12. S. Ji, Biocybernetics: a machine theory of biology, in: S. Ji (Ed.), Molecular Theories and Cell Life and Death, 1991, pp. 1-237.
13. Ji S. Free energy and information contents of conformons in proteins and DNA. BioSystems. 54:2000;107-214.
14. Ji S. The Bhopalator. an information/energy dual model of the living cell (II) Fund. Inform. 49(1-3):2002;147-165.
15. Jones J.P., Matijasevič Y.V. Register machine proof of the theorem on exponential Diophantine representation of enumerable sets. J. Symbolic Logic. 49(3):1984;818-829.
16. Kemeny G., Goklany I.M. Polarons and conformons. J. Theoret. Biol. 40:1973;107-123.
17. Kemeny G., Goklany I.M. Quantum mechanical model for conformons. J. Theoret. Biol. 48:1974;23-38.
18. M. Madhu, K. Krithivasan, P systems with active objects: universality and efficiency, Proc. Lecture Notes in Computer Science, Vol. 2055, MCU, Chisinau, Moldova, 2001, pp. 276-287.
19. C. Martin-Vide, V. Mitrana, P systems with valuations, in: I. Antoniou, C.S. Calude, M.J. Dinneen (Eds.), Unconventional Models of Computation, UMC'2K, Solvay Institutes, Brussels, 13-16 December 2000, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, Springer, Berlin, Heidelberg, New York, 2000, pp. 154-166.
20. Minsky M.L. Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Ann. Math. 74(3):1961;437-455.
21. Minsky M.L. Computation: finite and infinite machines, Automatic Computation. 1967;Prentice-Hall, Englewood Cliffs, NJ.
22. Pǎun G. Computing with membranes. J. Comput. System Sci. 1(61):2000;108-143.
23. Pǎun G. Computing with membranes. A variant. P systems with polarized membranes Internat. J. Foundations of Comput. Sci. 1(11):2000;167-182.
24. Pǎun G. P systems with active membranes. attacking NP complete problems J. Automata, Languages Combin. 1(6):2001;75-90.
25. Pǎun A., Pǎun G. The power of communication. P systems with symport/antiport New Gen. Comput. 20(3):2002;295-306.
26. Pǎun A., Pǎun G., Rozenberg G. Computing by communication in networks of membranes. Internat. J. Foundations of Comput. Sci. 13:2002;779-798.
27. G. Pǎun, T. Yokomori, Membrane computing based on splicing, in: E. Winfree, D.K. Gifford (Eds.), Proc. 5th DIMACS Workshop on DNA Based Computers, held at the Massachusetts Institute of Technology, American Mathematical Society, Cambridge, MA, USA, June 14-15, 1999, pp. 217-232.
28. J.H. Reif, Alternative computational models: a comparison of biomolecular and quantum computation, Internat. Conf. on Foundations of Software Technology and Theoretical Computer Science, 1998.
29. W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491, Springer, Berlin, Heidelberg, New York, 1998.
30. Volkenstein M.V. The conformon. J. Theoret. Biol. 34:1972;193-195.