P Systems: from Anti-Matter to Anti-Rules
Închide
Articolul precedent
Articolul urmator
357 1
Ultima descărcare din IBN:
2023-10-18 23:52
SM ISO690:2012
ALHAZOV, Artiom, FREUND, Rudolf, IVANOV, Sergiu, PEREZ-JIMENEZ, Mario. P Systems: from Anti-Matter to Anti-Rules. In: Brainstorming Week On Membrane Computing, 5-8 februarie 2019, Sevilla. Sevilla, Spania: Universidad de Sevilla, 2019, Ediția a 17-a, pp. 41-58.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Brainstorming Week On Membrane Computing
Ediția a 17-a, 2019
Masa rotundă "Seventeenth Brainstorming Week on Membrane Computing"
Sevilla, Spania, 5-8 februarie 2019

P Systems: from Anti-Matter to Anti-Rules


Pag. 41-58

Alhazov Artiom1, Freund Rudolf2, Ivanov Sergiu34, Perez-Jimenez Mario5
 
1 Vladimir Andrunachievici Institute of Mathematics and Computer Science,
2 Technical University of Vienna,
3 IBISC, Universite Evry,
4 Universitatea Paris-Saclay,
5 University of Sevilla
 
 
Disponibil în IBN: 8 mai 2021


Rezumat

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.