When object production tunes the efficiency of membrane systems

Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the organization and behavior of the living cells througha tree-like structure and abstracting the mechanisms that help the cell to keep alive intorules (evolution, communication, disso...

Descripción completa

Detalles Bibliográficos
Autores: Orellana Martín, David, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Riscos Núñez, Agustín, Valencia Cabrera, Luis, Pérez Jiménez, Mario de Jesús
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2020
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/106213
Acceso en línea:https://hdl.handle.net/11441/106213
https://doi.org/10.1016/j.tcs.2018.04.013
Access Level:acceso abierto
Palabra clave:Membrane Computing
Active membranes
Minimal cooperation
Computational complexity
Descripción
Sumario:Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the organization and behavior of the living cells througha tree-like structure and abstracting the mechanisms that help the cell to keep alive intorules (evolution, communication, dissolution and division rules), they have been used tosolve several computationally hard problems. We are dealing with non-cooperative systemshere, that is, the number of reactives in a rule is always one. Even then, it has been proventhat problems from the classPSPACEcan be solved, so in order to acquire a minimal modelthat can solve computationally hard problems, polarizations are removed. In this paper wefind the relevance of the length of the right-hand side of the rule, being necessary whenusing separation rules and being irrelevant when division rules are used, improving somesolutions previously presented, restricting the right-hand side of the rules, obtaining newfrontiers of efficiency in this framework. The state of the art of these systems is presentedin a graphical way.