Membrane computing with external output
Fundamenta Informaticae
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
Solving NP-Complete Problems Using P Systems with Active Membranes
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Computing with Membranes: P Systems with Worm-Objects
SPIRE '00 Proceedings of the Seventh International Symposium on String Processing Information Retrieval (SPIRE'00)
Theoretical Computer Science - Natural computing
Membrane systems with coupled transport: universality and normal forms
Fundamenta Informaticae - Membrane computing
The power of communication: P systems with symport/antiport
New Generation Computing
Computing with Membranes (P Systems): Universality Results
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
Generalized communicating P systems
Theoretical Computer Science
Carriers and counters: P systems with carriers vs. (blind) counter automata
DLT'02 Proceedings of the 6th international conference on Developments in language theory
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Computational completeness of tissue p systems with conditional uniport
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
An environment aware p-system model of quorum sensing
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Membrane Systems with Coupled Transport: Universality and Normal Forms
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
| Hi-index | 5.23 |
A membrane system is a model of computation which is inspired by some basic features of biological membranes. In this paper we consider another biologically inspired notion, viz., the notion of a carrier (or vehicle), as, e.g., used in gene cloning. We investigate the power of membrane systems where the rules for the evolving of objects are replaced by the rules that carry objects (by vehicles) through membranes. It turns out that these systems (even with a small number of membranes, a small number of carriers, and a small number of passengers taken by carriers) are computationally universal.