Journal of Computer and System Sciences
Marcus Contextual Grammars
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The power of communication: P systems with symport/antiport
New Generation Computing
Implementing Bead-Sort with P Systems
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
P Systems with Activated/Prohibited Membrane Channels
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Computing with Membranes: Variants with an Enhanced Membrane Handling
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Two Normal Forms for Rewriting P Systems
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Languages generated by P systems with active membranes
New Generation Computing - Membrane computing
Tissue-like P Systems with Active Membranes for Picture Generation
Fundamenta Informaticae
Implementing Sorting Networks with Spiking Neural P Systems
Fundamenta Informaticae
Simulating the bitonic sort using P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Implementing Sorting Networks with Spiking Neural P Systems
Fundamenta Informaticae
Tissue-like P Systems with Active Membranes for Picture Generation
Fundamenta Informaticae
| Hi-index | 0.00 |
We propose in this paper a uniform manner of generating families of P systems, using contextual grammars, specifically, variants of bracketed contextual grammars. We introduce the concept of enriched bracketed contextual grammar, which can be used to generate families of P systems with symport/antiport rules.More generally, we define the notion of dynamic P system associated to grammars able to "generate" families of P systems, and introduce the notion of dynamic computation sequence, which combines the previous generative approach with computational aspects.We illustrate these notions with an application to the problem of sorting. The model of sorting we propose uses symport/antiport rules with priority relations, and the notion of stable configuration of a P system.