A control strategy on the computations in a one-catalyst P system is provided: the rules are assumed "colored" and in each step only rules of the same "color" are used. Such control leads to Turing universality for one-catalyst P systems with one membrane. Turing universality is also reached for purely catalytic P systems with two catalysts, and for purely catalytic P systems with only one catalyst and cooperating rules working in the so-called terminal mode.
['Tingfang Wu', 'Zhiqiang Zhang', 'Gheorghe Păun', 'Linqiang Pan']
On the Universality of Colored One-Catalyst P Systems