Towards a hierarchy of conformons - P systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2597, Issue , 2003, Pages 302-318

  Frisco, Pierluigi ^a   Ji, Sungchul ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPUTATIONAL MODEL; COMPUTATIONAL POWER; LIVING CELL; MEMBRANE COMPUTING; P SYSTEMS; THEORETICAL MODELING;

BIOINFORMATICS;

EID: 35248877106     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36490-0_20     Document Type: Article

References (26)

1. B.S. Baker and R.V. Book. Reversal-bounded multipushdown machines. Journal of computer and system science, 8:315-332, 1974.
2. J. Castellanos, G. Pǎun, and A. Rodriguez-Paton. P systems with worm objects. In IEEE 7th. Intern. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, pages 64-74, 2000. See also CDMTCS TR 123, Univ. of Auckland, 2000 (www.cs.auckland.ac.nz/CDMTCS).
3. P. Frisco and S. Ji. About conformons-P systems, 2002. (manuscript in preparation).
4. P. Frisco and S. Ji. Conformons-P systems. In DNA Computing, 8th international Workshop on DNA-Based Computers, DNA 2002, Sapporo, Japan, 10-13 June 2002, pages 161-170. Hokkaido University, 2002.
5. S.A. Greibach. Remarks on blind and partially blind one-way multicounter machines. Theoretical Computer Science, 7:311-324, 1978.
6. T. Head. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bulletin of Mathematical Biology, 49(6):737-759, 1987.
7. H.J. Hoogeboom. Carriers and counters. P-systems with carriers vs. (blind) counter automata. Developments in Language Theory, DLT2002, pages 255-268, 2002.
8. S. Ji. A general theory of ATP synthesis and utilization. Ann. N.Y. Acad. Sci., 227:211-226, 1974.
9. S. Ji. The Bhopalator: a molecular model of the living cell based on the concepts of conformons and dissipative structures. J. theoret. Biol., 116:395-426, 1985.
10. S. Ji. Biocybernetics: a machine theory of biology, pages 1-237. Molecular theories and cell life and death. Rutgers University Press, New Brunswick, 1991. S. Ji, ed.
11. S. Ji. The cell as the smallest DNA-based molecular computer. BioSystems, 52:123-133, 1999.
12. S. Ji. Free energy and information contents of conformons in proteins and DNA. BioSystems, 54:107-214, 2000.
13. S. Ji. The Bhopalator: an information/energy dual model of the living cell (II). Fundamenta Informaticae, 49(1-3):147-165, 2002.
14. S. Ji and G. Ciobanu. Conformons and biopolymers shape change in cell modelling, accepted in BioSystems, 2002.
15. J.P. Jones and Y.V. Matijasevič. Register machine proof of the theorem on exponential Diophantine representation of enumerable sets. Journal of Symbolic Logic, 49(3):818-829, September 1984.
16. M. Madhu and K. Krithivasan. P systems with active objects: Universality and efficiency. MCU, Chisinau, Moldova, Proceedings in LNCS 2055, pages 276-287, 2001. M. Margenstern and Y. Rogozhin, editors.
17. C. Martin-Vide and V. Mitrana. P systems with valuations. In I. Antoniou, C.S. Calude, and M.J. Dinneen, editors, Unconventional Models of Computation, UMC'2K, Solvay Institutes, Brussel, 13-16 December 2000, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., pages 154-166. Springer Verlag, Berlin, Heidelberg, New York., 2000.
18. M.L. Minsky. Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Annals of Mathematics, 74(3):437-455, November 1961.
19. M.L. Minsky. Computation: Finite and Infinite Machines. Automatic Computation. Prentice-Hall, 1967.
20. A. Pǎun, G. Pǎun, and G. Rozenberg. Computing by communication in networks of membranes, to appear in Intern. J. of Foundations of Computer Science, 2001.
21. G. Pǎun. Computing with membranes. Journal of Computer and System Sciences, 1(61):108-143, 2000.
22. See also Turku Centre for Computer Science-TUCS Report No. 208, 1998 http://www.tucs.fi.
23. G. Pǎun. Computing with membranes, a variant: P systems with polarized membranes. Inter. J. of Foundations of Computer Science, 1(11):167-182, 2000.
24. G. Pǎun. P systems with active membranes: attacking NP complete problems. J. Automata, Languages and Combinatorics, 1(6):75-90, 2001.
25. G. Pǎun and T. Yokomori. Membrane computing based on splicing. In Erik Winfree and David K. Gifford, editors, Proceedings 5th DIMACS Workshop on DNA Based Computers, held at the Massachusetts Institute of Technology, Cambridge, MA, USA June 14 - June 15, 1999, pages 217-232. American Mathematical Society, 1999.
26. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of LNCS. Springer Verlag, Berlin, Heidelberg, New York., 1998.