Cell-Like P Systems With Channel States and Symport/Antiport Rules

Cell-like P systems with symport/antiport rules are inspired by the structure of a cell and the way of communicating substances through membrane channels between neighboring regions. In this work, channel states are introduced into cell-like P systems with symport/antiport rules, and we call this variant of communication P systems as cell-like P systems with channel states and symport/antiport rules. In such P systems, at most one channel is established between neighboring regions, each channel associates with one state in order to control communication at each step, and rules are used in a sequential manner: on each channel at most one rule can be used at each step. The computational power of such P systems is investigated. Specifically, we show that cell-like P systems with two states and using uniport rules, or with any number of states and using antiport rules of length two, are able to compute only finite sets of non-negative integers. We further prove that cell-like P systems with two membranes are as powerful as Turing machines when channel states and symport/antiport rules are suitably combined. The results show that channel states are a feature that can increase the computational power of cell-like P systems with symport/antiport rules.