Repositorio de producción científica de la Universidad de Sevilla

Universal P Systems: One Catalyst Can Be Suficient


Advanced Search
Opened Access Universal P Systems: One Catalyst Can Be Suficient
Show item statistics
Export to
Author: Freund, Rudolf
Paun, Gheorghe
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2013
Published in: Proceedings of the Eleventh Brainstorming Week on Membrane Computing, 81-96. Sevilla, E.T.S. de Ingeniería Informática, 4-8 de Febrero, 2013,
ISBN/ISSN: 978-84-940691-9-2
Document type: Presentation
Abstract: Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality (computational completeness) by using speci c variants of additional control mechanisms. At each step using only multiset rules from one set of a nite number of sets of rules allows for obtaining computational completeness with one catalyst and only one membrane. If the targets are used for choosing the multiset of rules to be applied, for getting computational completeness with only one catalyst more than one membrane is needed. If the available sets of rules change periodically with time, computational completeness can be obtained with one catalyst in one membrane. Moreover, we also improve existing computational completeness results for P systems with mobile catalysts and for P systems with membrane creation.
Size: 297.7Kb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)