5863 search results - page 243 / 1173 » On Model-Checking of P Systems |
169
click to vote
DNA
2006
Springer
15 years 11 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
161
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
185
click to vote
CSJM
2006
15 years 7 months ago
2006
It is known that P systems with two membranes and minimal symport/antiport rules are "almost" computationally complete as generators of number or vector sets. Interpreti...
175
click to vote
ACTA
2004
15 years 7 months ago
2004
The generative capability of several variants of P systems with symport/antiport is studied via the simulation of counter automata. This leads to the reduction of the complexity, e...