Formal languages
Journal of Computer and System Sciences
P systems with active membranes: attacking NP-complete problems
Journal of Automata, Languages and Combinatorics
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Mathematical Theory of L Systems
Mathematical Theory of L Systems
Membrane Computing: An Introduction
Membrane Computing: An Introduction
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
P Systems with Mobile Membranes
Natural Computing: an international journal
Upper and lower bounds for the computational power of p systems with mobile membranes
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
The power of mobility: four membranes suffice
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Turing Completeness Using Three Mobile Membranes
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
A Σ2P∪ Π2Plower bound using mobile membranes
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Computability power of mobility in enhanced mobile membranes
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
On the computability power of membrane systems with controlled mobility
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Hi-index | 0.00 |
The enhanced mobile membranes is a variant of membrane systems which has been proposed for describing some biological mechanisms of the immune system. In this paper, we study the computational power of the enhanced mobile membranes. In particular, we focus on the power of mobility given by the operations endo, exo, fendoand fexo. The computational universality is obtained with 12 membranes, while systems with 8 membranes subsume ET0L, and those with 3 membranes are contained in MAT.