Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Evolution–Communication P Systems
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2597/2003 |
| Book | Membrane Computing |
| DOI | 10.1007/3-540-36490-0 |
| Copyright | 2003 |
| ISBN | 978-3-540-00611-4 |
| DOI | 10.1007/3-540-36490-0_10 |
| Pages | 134-145 |
| Subject Collection | Computer Science |
| SpringerLink Date | Wednesday, January 01, 2003 |
| |
|
Evolution–Communication P Systems
Matteo Cavaliere5 
| (5) |
Research Group in Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tarraco 1, 43005 Tarragona, Spain |
Abstract
We propose a new class of P systems that use simple evolution rules (classical evolution rules without communication targets)
and symport/antiport rules (for communication).
This type of P system is realistic for (at least) three different reasons: we do not have target indications in the evolution
rules, we use very simple symport/antiport rules to realize communication, and we do not need objects available in the environment
at the beginning of a computation. Somewhat expected, this new variant is still universal. We prove the universality in two
cases: when using catalytic rules (but only one catalyst), symport/antiport rules of weight one, and two membranes, and when
we use three membranes, symport/antiport rules of weight one, and no catalyst. Especially the latter result is of interest,
because the catalysts were used in most universality proofs for P systems with symbol-objects. Also new is the proof technique
we use: we start from programmed grammars with unconditional transfer.
This work was possible thanks to a research grant Beca URV from Rovira i Virgili University.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|