Sciweavers

Share
IJFCS
2007

On the Power of Deterministic and Sequential Communicating P Systems

9 years 6 months ago
On the Power of Deterministic and Sequential Communicating P Systems
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in either minimally or maximally parallel mode, are computationally universal. Considering the sequential mode, 2 membranes are shown to characterize the power of partially blind multicounter machines. Next, a characterization of the power of 1-deterministic communicating P systems is given. Finally, we show that the non-deterministic variant in maximally parallel mode is universal already with 1 membrane. These results demonstrate differences in computational power between nondeterminism, 2-determinism and 1-determinism, on one hand, and between sequential, minimally and maximally parallel modes, on the other hand.
Ludek Cienciala, Lucie Ciencialová, Pierlui
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where IJFCS
Authors Ludek Cienciala, Lucie Ciencialová, Pierluigi Frisco, Petr Sosík
Comments (0)
books