dc.creator | Brijder, Robert | es |
dc.creator | Cavaliere, Matteo | es |
dc.creator | Riscos Núñez, Agustín | es |
dc.creator | Rozenberg, Grzegorz | es |
dc.creator | Sburlan, Dragos | es |
dc.date.accessioned | 2019-04-02T10:02:56Z | |
dc.date.available | 2019-04-02T10:02:56Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Brijder, R., Cavaliere, M., Riscos Núñez, A., Rozenberg, G. y Sburlan, D. (2008). Membrane systems with proteins embedded in membranes. Theoretical Computer Science, 404 (1-2), 26-39. | |
dc.identifier.issn | 0304-3975 | es |
dc.identifier.uri | https://hdl.handle.net/11441/85042 | |
dc.description.abstract | Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane
systems which differ from conventional membrane systems by the following features: (1) biomolecules (proteins) can move
through the regions of the systems, and can attach onto (and de-attach from) membranes, and (2) membranes can evolve
depending on the attached molecules. The evolution of membranes is performed by using rules that are motivated by the operation of
pinocytosis (the pino rule) and the operation of cellular dripping (the drip rule) that take place in living cells.
We show that such membrane systems are computationally universal. We also show that if only the second feature is used
then one can generate at least the family of Parikh images of the languages generated by programmed grammars without
appearance checking (which contains non-semilinear sets of vectors).
If, moreover, the use of pino/drip rules is non-cooperative (i.e., not dependent on the proteins attached to membranes), then one
generates a family of sets of vectors that is strictly included in the family of semilinear sets of vectors.
We also consider a number of decision problems concerning reachability of configurations and boundness. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Theoretical Computer Science, 404 (1-2), 26-39. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Membrane systems with proteins embedded in membranes | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0304397508002478 | es |
dc.identifier.doi | 10.1016/j.tcs.2008.04.002 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 14 | es |
dc.journaltitle | Theoretical Computer Science | es |
dc.publication.volumen | 404 | es |
dc.publication.issue | 1-2 | es |
dc.publication.initialPage | 26 | es |
dc.publication.endPage | 39 | es |
dc.identifier.sisius | 6651347 | es |