Non-confluence in divisionless P systems with active membranes

8Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simulating such devices on a nondeterministic Turing machine with a polynomial slowdown. Together, these results prove that the complexity class of problems solvable non-confluently and in polynomial time by this kind of P system is exactly the class NP. © 2009 Elsevier B.V. All rights reserved.

Author supplied keywords

Cite

CITATION STYLE

APA

Porreca, A. E., Mauri, G., & Zandron, C. (2010). Non-confluence in divisionless P systems with active membranes. Theoretical Computer Science, 411(6), 878–887. https://doi.org/10.1016/j.tcs.2009.07.032

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free