Recent Computability Models Inspired from Biology: DNA and Membrane Computing

Theoria-Revista De Teoria Historia Y Fundamentos De La Ciencia

Volumn 18, Issue 46, 2003, Pages 71-84

  Paun, Gheorgjie ^a,b   Pérez Jiménez, Mario J ^c  

^a INSTITUTE OF MATHEMATICS   (Romania)

^b UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Biochemistry; Computer Science; Dna computing; Mathematics; Membrane computing; Turing computability

Indexed keywords

EID: 61149356801     PISSN: 04954548     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. Adleman, L. M. (1994) "Molecular computation of solutions to combinatorial problems", Science 226, 1021-1024.
2. Andersson, J. A (1996) An Introduction to Neural Networks, Cambridge, MA The MIT Press.
3. Bel Enguix, G. (2002) "Preliminaries about some possible applications of P systems in linguistics" in Preproceedings of Workshop on Membrane Computing, Curtea de Arge,s, Romania, 81-96.
4. Beyer, H.-G. (2001) The Theory of Evolution Strategies, Berlin: Springer.
5. Conrad, M. (1972), "Information processing in molecular systems", Currents in Modern Biology 5, 1-14.
6. Culik Culik II, K., Harju, T. (1991) "Splicing semigroups of dominoes and DNA", Discrete Appl. Math. 31, 261-277.
7. Hartmanis, J. (1994) "About the nature of computer science", Bulletin of the EATCS 53, 170-190.
8. Head, T. (1987) "Formal language theory and DNA An analysis of the generative capacity of specific, recombinant behaviors", Bulletin of Mathematical Biology 49, 737-759.
9. Kleene, S. C. (1956), "Representation of events in nerve nets and finite automata", Automata Studies, Princeton, NJ: Princeton University Press, 3-42.
10. McCulloch, W. S., Pitts, W. H. (1943) "A logical calculus of the ideas immanent in nervous activity", Bulletin of Mathematical Biophysics 5, 115-133.
11. Paun, Gh. (1996a) "On the splicing operation", Discrete Appl. Math. 70, 57-79.
12. Paun, Gh. (1996b) "Regular extended H systems are computationally universal", J. Automata, Languages, Combinatorics 1, 27-36.
13. Paun, Gh. (2000) "Computing with membranes", Journal of Computer and System Sciences 61, 108-143.
14. Paun, Gh. (2002) Membrane Computing. An Introduction, Berlin: Springer.
15. Paun, Gh., Rozenberg, G., Salomaa, A. (1996) "Computing by splicing", Theoretical Computer Science 168/2, 321-336.
16. Pérez-Jiménez, M. J., Romero-Jiménez, A, Sancho-Caparrini, F. (2002a) Teoría de la Complejidad en modelos de Computación Celular con membranas, Sevilla: Ed. Kronos.
17. Pérez-Jiménez, M. J., Sancho-Caparrini, F. (2002) Computación Celular con membranas, Sevilla: Ed. Kronos.
18. Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F. (2002b), "Decision P systems and the P6=NP conjecture" in Pre-proceedings of Workshop on Membrane Computing, Curtea de Arge,s, Romania, 345-354.
19. Pixton, D. (1996), "Regularity of splicing languages", Discrete Appl. Math. 69, 101- 124.
20. Suzuki, Y., Fujiwara, Y., Takabayashi, J., Tanaka, H. (2001) "Artificial life applications of a class of P systems: Abstract rewriting systems on multisets" in C. Calude, Gh. Paun, G. Rozenberg, A. Salomaa (eds.) Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View, Lecture Notes in Computer Science, 2235, Berlin: Springer, 299-346.
21. Turing, A. M. (1936) "On computable numbers, with an application to the Entscheidungsproblem" in Proceedings of the London Mathematical Society, Ser. 2, 42, 230-265.
22. Zandron, C., Ferretti, C., Mauri, G. (2000) "Solving NP-complete problems using P systems with active membranes" in I. Antoniou, C. S. Calude, M. J. Dinneen (eds.) Unconventional Models of Computation, London: Springer, 289-301.