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.

• Type: Journal
• Year: 2007
• Where: IJFCS
• Authors: Ludek Cienciala, Lucie Ciencialová, Pierluigi Frisco, Petr Sosík
• Keywords: Computational Power, IJFCS 2007, Mode, Systems