Buscar
Mostrando ítems 1-7 de 7
Ponencia
Universal P Systems: One Catalyst Can Be Suficient
(Fénix Editora, 2013)
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 ...
Ponencia
P Systems with Anti-Matter
(Fénix Editora, 2014)
After a short introduction to the area of membrane computing (a branch of natural computing), we introduce the concept of anti-matter in membrane computing. First we consider spiking neural P systems with anti-spikes, ...
Ponencia
Solving SAT with Antimatter in Membrane Computing
(Fénix Editora, 2015)
The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence of the encoding scheme of the input. In the case of weakly NP-complete problems, the intractability ...
Ponencia
How to Go Beyond Turing with P Automata: Time Travels, Regular Observer !-Languages, and Partial Adult Halting
(Fénix Editora, 2015)
In this paper we investigate several variants of P automata having in nite runs on nite inputs. By imposing speci c conditions on the in nite evolution of the systems, it is easy to nd ways for going beyond Turing if ...
Ponencia
On The Semantics of Annihilation Rules in Membrane Computing
(Fénix Editora, 2015)
It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of elementary and non-elementary membranes, with antimatter and matter/antimatter annihilation rules ...
Ponencia
P Systems: from Anti-Matter to Anti-Rules
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
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. ...
Ponencia
A Formal Framework for P Systems with Dynamic Structure
(Fénix Editora, 2012)
This article introduces a formalism/framework able to describe different variants of P systems having a dynamic structure. This framework can be useful for the definition of new variants of P systems with dynamic structure, ...