Matter and Anti-Matter in Membrane Systems
Închide
Articolul precedent
Articolul urmator
320 0
SM ISO690:2012
ALHAZOV, Artiom, AMAN, Bogdan, FREUND, Rudolf, PĂUN, Gheorghe. Matter and Anti-Matter in Membrane Systems. In: Brainstorming Week On Membrane Computing, 3-7 februarie 2014, Sevilla. Sevilla, Spania: Fenix Editora, 2014, Ediția a 12-a, pp. 1-26. ISBN 978-84-940056-4-0.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Brainstorming Week On Membrane Computing
Ediția a 12-a, 2014
Masa rotundă "Twelfth Brainstorming Week on Membrane Computing"
Sevilla, Spania, 3-7 februarie 2014

Matter and Anti-Matter in Membrane Systems


Pag. 1-26

Alhazov Artiom1, Aman Bogdan2, Freund Rudolf3, Păun Gheorghe4
 
1 Institute of Mathematics and Computer Science ASM,
2 Institute for Computer Science, Romanian Academy, Iasi Branch,
3 Vienna University of Technology,
4 "Simion Stoilov" Institute of Mathematics of Romanian Academy
 
 
Disponibil în IBN: 14 mai 2021


Rezumat

The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in the maximally parallel way. Computational completeness can be obtained with using only non-cooperative rules besides these matter/anti-matter annihilation rules if these annihilation rules have priority over the other rules. Without this priority condition, in addition catalytic rules with one single catalyst are needed to get computational completeness. Even deterministic systems are obtained in the accepting case. Universal P systems with a rather small number of rules – 57 for computing systems, 59 for generating and 52 for accepting systems – can be constructed when using non-cooperative rules together with matter/anti-matter annihilation rules having weak priority. Allowing anti-matter objects as input and/or output, we even get a computationally complete computing model for computations on integer numbers. Interpreting sequences of symbols taken in from and/or sent out to the environment as strings, we get a model for computations on strings, which can even be interpreted as representations of elements of a group based on a computable finite presentation.