Buscar
Mostrando ítems 1-3 de 3
Ponencia
Decidability of Divergence for Catalytic P Systems
(Fénix Editora, 2006)
P systems are a biologically inspired model introduced by Gheorghe P¸aun with the aim of representing the structure and the functioning of the cell. Since their introduction, several variants of P systems have been ...
Ponencia
Two Universality Results for (Mem)Brane Systems
(Fénix Editora, 2006)
We prove that P systems with mate and drip operations and using at most five membranes during any step of a computation are universal. This improves a recent similar result from, where eleven membranes are used. The proof ...
Ponencia
A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}
(Fénix Editora, 2006)
The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two ...