Describing Membrane Computations with a Chemical Calculus

• Autorzy: Battyányi P. , Vaszil G.

Identyfikatory

DOI

10.3233/FI-2014-1089

• Języki publikacji: EN

Abstrakty

EN

Membrane systems are nature motivated computational models inspired by certain basic features of biological cells and their membranes. They are examples of the chemical computational paradigm which describes computation in terms of chemical solutions where molecules interact according to rules defining their reaction capabilities. Chemical models can be presented by rewriting systems based on multiset manipulations, and they are usually given as a kind of chemical calculus which might also allow non-deterministic and non-sequential computations. Here we study membrane systems from the point of view of the chemical computing paradigm and show how computations of membrane systems can be described by such a chemical calculus.

Słowa kluczowe

EN

cell membranes; analytical chemistry; rewriting systems; chemical models; biological systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 134, nr 1/2
• Strony: 39--50
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Battyányi P.

• Department of Computer Science, Faculty of Informatics, University of Debrecen, Kassai ut 26, 4028 Debrecen, Hungary

autor

Vaszil G.

• Department of Computer Science, Faculty of Informatics, University of Debrecen, Kassai ut 26, 4028 Debrecen, Hungary

Bibliografia

• [1] J.-P. Banâtre, P. Fradet, D. Le Métayer: Gamma and the chemical reaction model: Fifteen years after. In Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. Volume 2235 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2001, 17–44.
• [2] J.P. Banâtre, P. Fradet, Y. Radenac, Principles of chemical computing. Electronic Notes in Theoretical Computer Science 124 (2005) 133–147.
• [3] J.P. Banâtre, P. Fradet, Y. Radenac, Generalized multisets for chemical programming. Mathematical Structures in Computer Science 16(4) (2006), 557 – 580.
• [4] J.P. Banâtre, D. LeMétayer, A new computationalmodel and its discipline of programming. Technical Report RR0566, INRIA (1986).
• [5] J.P. Banâtre, D. Le Métayer, Programming by multiset transformation. Communications of the ACM 36 (1993), 98–111.
• [6] G. Berry, G. Boudol, The chemical abstract machine. Theoretical Computer Science 96 (1992), 217–248.
• [7] N. Dershowitz, Z. Manna, Proving termination with multiset orderings. Communications of the ACM 22(8) (1979), 465–476.
• [8] M. Fésüs, Gy. Vaszil, Chemical programming and membrane systems. In: Proc. 14th International Conference on Membrane Computing, Institute of Mathematics and Computer Science, Academy of Moldova, Chişinău, 2013, 313–316.
• [9] A. Leporati, L. Manzoni, A.E. Porreca, Flattening and simulation of asynchronous divisionless P systems with active membranes. In: Membrane Computing, 14th International Conference, CMC 2013, Chisinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Volume 8340 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2014, 238–248.
• [10] Gh. Păun, Computing with membranes. Journal of Computer and System Sciences 61 (2000), 108–143.
• [11] Gh. Păun, G. Rozenberg, A. Salomaa (eds): The Oxford Handbook of Membrane Computing, Oxford University Press (2010)
• [12] V. Rajcsányi, Zs. Németh: The Chemical Machine: An interpreter for the Higher Order Chemical Language. In: Euro-Par 2011 Workshops, Part I. Volume 7155 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012, 181–190.
• [13] G. Rozenberg, A. Salomaa (eds): Handbook of Formal Languages, Springer Berlin (1997).
• [14] A. Salomaa: Formal Languages, Academic Press, New York (1973).