|
|||||
|
|
Characterizing the computational power of energy-based P systems |
|
| Authors: | Artiom Alhazov Marco Antoniotti Alberto Leporati |
| Affiliation: | 1. Dipartimento di Informatica, Sistemistica e Comunicazione , Università degli Studi di Milano-Bicocca , Viale Sarca 336, 20126 , Milano , Italy;2. Institute of Mathematics and Computer Science, Academy of Sciences of Moldova , Academiei 5, Chi?in?u , MD-2028 , Moldova artiom.alhazov@unimib.it artiom@math.md;4. Dipartimento di Informatica, Sistemistica e Comunicazione , Università degli Studi di Milano-Bicocca , Viale Sarca 336, 20126 , Milano , Italy |
| Abstract: | We investigate the computational power of energy-based P systems, a model of membrane systems, where a fixed amount of energy is associated with each object and the rules transform single objects by adding or removing energy from them. We answer the recently proposed open questions about the power of such systems without priorities associated with the rules, for both sequential and maximally parallel modes. We also conjecture that deterministic energy-based P systems are not computationally complete. |
| Keywords: | membrane computing distributed multiset rewriting P systems model with energy associated with compartments controlled distributed monadic rewriting theory of computing formal language theory |