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-02T11:01:30Z | |
dc.date.available | 2019-04-02T11:01:30Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Brijder, R., Cavaliere, M., Riscos Núñez, A., Rozenberg, G. y Sburlan, D. (2006). Membrane Systems with External Control. En WMC 2006: 7th International Workshop on Membrane Computing (215-232), Leiden, The Netherlands: Springer. | |
dc.identifier.isbn | 978-3-540-69088-7 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/85050 | |
dc.description.abstract | We consider the idea of controlling the evolution of a membrane
system. In particular, we investigate a model of membrane systems
using promoted rules, where a string of promoters (called the control
string) “travels” through the regions, activating the rules of the system.
This control string is present in the skin region at the beginning of the
computation – one can interpret that it has been inserted in the system
before starting the computation – and it is “consumed”, symbol by symbol,
while traveling through the system. In this way, the inserted string
drives the computation of the membrane system by controlling the activation
of evolution rules. When the control string is entirely consumed
and no rule can be applied anymore, then the system halts – this corresponds
to a successful computation. The number of objects present in
the output region is the result of such a computation. In this way, using
a set of control strings (a control program), one generates a set of
numbers. We also consider a more restrictive definition of a successful
computation, and then study the corresponding model.
In this paper we investigate the influence of the structure of control
programs on the generative power. We demonstrate that different
structures yield generative powers ranging from finite to recursively enumerable
number sets.
In determining the way that the control string moves through the
regions, we consider two possible “strategies of traveling”, and prove
that they are similar as far as the generative power is concerned. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | WMC 2006: 7th International Workshop on Membrane Computing (2006), p 215-232 | |
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 External Control | es |
dc.type | info:eu-repo/semantics/conferenceObject | 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://link.springer.com/chapter/10.1007/11963516_14 | es |
dc.identifier.doi | 10.1007/11963516_14 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 18 | es |
dc.publication.initialPage | 215 | es |
dc.publication.endPage | 232 | es |
dc.eventtitle | WMC 2006: 7th International Workshop on Membrane Computing | es |
dc.eventinstitution | Leiden, The Netherlands | es |
dc.relation.publicationplace | Berlin | es |
dc.identifier.sisius | 6530678 | es |