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

Bridging Membrane and Reaction Systems - Further Results and Research Topics

 

Advanced Search
 
Opened Access Bridging Membrane and Reaction Systems - Further Results and Research Topics
Cites
Show item statistics
Icon
Export to
Author: Paun, Gheorghe
Pérez Jiménez, Mario de Jesús
Rozenberg, Grzegorz
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, 243-256. 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: This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing and reaction systems. More specif- ically, the paper considers a transfer of two assumptions/axioms of reaction systems, non- permanency and the threshold assumption, into the framework of membrane computing. It is proved that: SN P systems with non-permanency of spikes assumption charac- terize the semilinear sets of numbers, and symport/antiport P systems with threshold assumption (translated as ! multiplicity of objects) can solve SAT in polynomial time. Also, several open research problems are stated.
Size: 322.1Kb
Format: PDF

URI: http://hdl.handle.net/11441/33819

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

This item appears in the following Collection(s)