Handbook of formal languages, vol. 3: beyond words
Handbook of formal languages, vol. 3: beyond words
Journal of Computer and System Sciences
P systems with active membranes: attacking NP-complete problems
Journal of Automata, Languages and Combinatorics
Marcus Contextual Grammars
Computing with Membranes: Variants with an Enhanced Membrane Handling
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Further Results on Contextual and Rewriting P Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On efficient algorithms for SAT
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
We consider P Systems with string objects which evolve by means of one-sided contextual rules and erasing contextual rules. The generative power of these systems with three or less than three membranes is investigated. We show that systems with three membranes characterize the family of recursively enumerable languages. When the string replication is used in one-sided contextual rules, these systems are able of solving NP-complete problems in linear time: this is exemplified with SAT and HPP.