DOI: 10.1007/978-3-642-11467-0_32
View full text |Buy / Rent full text
Sign up to set email alerts

Abstract: Summary. This article introduces a new derivation mode for P systems that permits to make a look-ahead on the next configuration and check for some forbidding conditions on it. The interesting point is that the software implementation of this mode needs very small modifications to the standard algorithm of rule assignment for maximally parallelism. As benefits of this mode some non-deterministic proofs become deterministic. As an example we present a generalized communicating P system that accepts 2 n in n ste… Show more

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles