Buscar
Mostrando ítems 1-5 de 5
Ponencia
The Computational Power of Exponential-Space P Systems with Active Membranes
(Fénix Editora, 2012)
We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result is proved by simulating Turing machines working in exponential space via uniform families of P systems ...
Ponencia
Self-Stabilization in Membrane Systems
(Fénix Editora, 2012)
In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational ...
Ponencia
Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN coNFIN
(Fénix Editora, 2012)
Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally ...
Ponencia
The Power of Symport-3 with Few Extra Symbols
(Fénix Editora, 2012)
Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move multiple objects to a neighboring region. It is known that P systems with symport rules of weight ...
Ponencia
Characterizing the Computational Power of Energy-Based P Systems
(Fénix Editora, 2012)
We investigate the computational power of energy-based P systems, a model of membrane systems where a fixed amount of energy is associated with each object and the rules transform single objects by adding or removing ...