Studying artificial life using a simple, general cellular model
Artificial Life
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
Handbook of Formal Languages
Membrane systems with carriers
Theoretical Computer Science
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Rewriting P Systems with Conditional Communication
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
On P Systems with Active Membranes
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Computing with Membranes: Attacking NP-Complete Problems
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Solving NP-Complete Problems Using P Systems with Active Membranes
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Molecular Computing with Generalized Homogeneous P-Systems
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
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
Computing with Membranes: P Systems with Worm-Objects
SPIRE '00 Proceedings of the Seventh International Symposium on String Processing Information Retrieval (SPIRE'00)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
On Synchronization in P Systems
Fundamenta Informaticae
A protein substructure based p system for description and analysis of cell signalling networks
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Signaling p systems and verification problems
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
| Hi-index | 0.00 |
This is a survey of universality results in the area of Membrane Computing (P systems), at the level of December 2000. We consider both P systems with symbol-objects and with string-objects; in the latter case, we consider systems based on rewriting, splicing, as well as rewriting together with other operations (replication, crossingover), with sets or with multisets of strings. Besides recalling characterizations of recursively enumerable languages and of recursively enumerable sets of vectors of natural numbers, we also briefly discuss the techniques used in the proofs of such results. Several open problems are also formulated.