Memory associated with membranes systems

Autor:	Gabriel Ciobanu, G. Michele Pinna
Rok vydání:	2021
Předmět:	Focus (computing) Membrane Theoretical computer science Computational Theory and Mathematics Semantics (computer science) Computer science Applied Mathematics Theory of computation Perspective (graphical) Tracking (particle physics) Equivalence (measure theory)
Zdroj:	Journal of Membrane Computing. 3:116-132
ISSN:	2523-8914 2523-8906
DOI:	10.1007/s41965-020-00066-8
Popis:	We study the notion of memory associated with membranes systems. Such a memory can be used in various ways; in this paper, we focus on two of them. One way is to consider the memory as a device for tracking how objects evolve. In this perspective, the memory is coded into objects which are enriched with suitable information to keep track on how they have been produced. This kind of memory allows to study the reversibility of membrane evolution. Another way is to consider the memory as a storing device for the objects consumed previously in the same evolution step. This kind of memory allows to describe a dynamic allocation of objects; two semantics are presented (a dynamic one and a static one), and it is proved their equivalence.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::879844f48d0891174ee305faa8610488 https://doi.org/10.1007/s41965-020-00066-8 Zobrazit plný text záznamu Full text from SpringerLink