Membrane Systems with Coupled Transport: Universality and Normal Forms

TitleMembrane Systems with Coupled Transport: Universality and Normal Forms
Publication TypeJournal Papers
Year of Publication2002
AuthorsMartín-Vide, C., Paun A., Paun G., & Rozenberg G.
Journal TitleFundamenta Informaticae
PublisherIOS Press
Place PublishedWarsaw, Poland
Pages1 - 15

This paper continues research on membrane systems which function by communication only, meaning that there are no evolving rules for molecules. The whole computation process relies on passage of molecules through membranes -- this provides communication between regions of the membrane system. Next to transport of single molecules through membranes (uniport) we also study a coupled transport of molecules, with two molecules passing either in the same direction (symport) or in opposite directions (antiport). We study the computational power of such membrane systems and prove that using only symport one gets Turing universality. Moreover, we prove that five membranes suffice to get Turing universality, and the number of membranes can be decreased to three if forbidding context conditions for transport are used.

ISSN Number0169-2968