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...

ver descrição completa

Detalhes 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 documento: artigo
Estado:Versión enviada para evaluación y publicación
Data de publicação:2020
País:España
Recursos:Universidad de Sevilla (US)
Repositório:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/106213
Acesso em linha:https://hdl.handle.net/11441/106213
https://doi.org/10.1016/j.tcs.2018.04.013
Access Level:Acceso aberto
Palavra-chave:Membrane Computing
Active membranes
Minimal cooperation
Computational complexity
Descrição
Resumo: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.