Variants of derivation modes for which purely catalytic P systems are computationally complete
Close
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
255 0
SM ISO690:2012
ALHAZOV, Artiom, FREUND, Rudolf, IVANOV, Sergiu, OSWALD, Marion. Variants of derivation modes for which purely catalytic P systems are computationally complete. In: Theoretical Computer Science, 2022, nr. 920, pp. 95-112. ISSN 0304-3975. DOI: https://doi.org/10.1016/j.tcs.2022.03.007
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Theoretical Computer Science
Numărul 920 / 2022 / ISSN 0304-3975 /ISSNe 1879-2294

Variants of derivation modes for which purely catalytic P systems are computationally complete

DOI:https://doi.org/10.1016/j.tcs.2022.03.007

Pag. 95-112

Alhazov Artiom1, Freund Rudolf2, Ivanov Sergiu3, Oswald Marion4
 
1 Vladimir Andrunachievici Institute of Mathematics and Computer Science,
2 Technical University of Vienna,
3 Universitatea Paris-Saclay,
4 Faculty of Informatics, TU Wien
 
 
Disponibil în IBN: 28 iunie 2022


Rezumat

Catalytic P systems and purely catalytic P systems are among the first variants of membrane systems ever considered in this area. These variants of systems also feature some prominent computational complexity questions, and in particular the problem if only one catalyst in catalytic P systems and two catalysts in purely catalytic P systems are enough to allow for generating all recursively enumerable sets of multisets. Several additional ingredients have been shown to be sufficient for obtaining such results. Previously, we could show that using the derivation mode maxobjects, where we only take those multisets of rules which affect the maximal number of objects in the underlying configuration, one catalyst is sufficient for obtaining computational completeness without any other ingredients in catalytic P systems. In this paper we investigate the question whether we can obtain a similar result for purely catalytic P systems, i.e., we show that two catalysts in purely catalytic P systems are enough to allow for generating all recursively enumerable sets of multisets when using specific variants of the maximally parallel derivation mode: we take only those applicable multisets of rules which (i) generate the maximal number of objects, or (ii) yield the maximal difference in the number of objects between the newly generated configuration and the current configuration. In addition, we also consider non-extendable multisets of rules which (i) generate the minimal number of objects, or (ii) yield the minimal difference in the number of objects between the newly generated configuration and the current configuration. In all cases, we have also shown that register machines with n decrementable registers can be simulated by simple purely catalytic P systems working in any of these derivation modes using only n catalysts. Hence, simple purely catalytic P systems working in any of these derivation modes are computationally complete.

Cuvinte-cheie
catalysts, computational completeness, Derivation modes, Purely catalytic P systems