Ponencia
P Systems: from Anti-Matter to Anti-Rules
Autor/es | Alhazov, Artiom
Freund, Rudolf Ivanov, Sergiu Pérez Jiménez, Mario de Jesús |
Coordinador/Director | Research Group on Natural Computing |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2019 |
Fecha de depósito | 2019-11-19 |
Publicado en |
|
Resumen | The concept of a matter object being annihilated when meeting its corresponding
anti-matter object is taken over for rule labels as objects and anti-rule labels
as the corresponding annihilation counterpart in P systems. ... The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule labels as objects and anti-rule labels as the corresponding annihilation counterpart in P systems. In the presence of a corresponding anti-rule object, annihilation of a rule object happens before the rule that the rule object represents, can be applied. Applying a rule consumes the corresponding rule object, but may also produce new rule objects as well as anti-rule objects, too. Computational completeness in this setting then can be obtained in a one-membrane P system with non-cooperative rules and rule / anti-rule annihilation rules when using one of the standard maximally parallel derivation modes as well as any of the maximally parallel set derivation modes (i.e., non-extendable (multi)sets of rules, (multi)sets with maximal number of rules, (multi)sets of rules a ecting the maximal number of objects). When using the sequential derivation mode, at least the computational power of partially blind register machines is obtained. |
Cita | Alhazov, A., Freund, R., Ivanov, S. y Pérez Jiménez, M.d.J. (2019). P Systems: from Anti-Matter to Anti-Rules. En BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (41-58), Sevilla, España: Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
041_AntiRules.pdf | 272.9Kb | [PDF] | Ver/ | |