Membrane systems with coupled transport: universality and normal forms

摘要: 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 passage of molecules through membranes - this provides between regions the system. Next to transport single (uniport) we also study a coupled molecules, with two passing either in same direction (symport) or opposite directions (antiport). We computational power such and prove using only symport one gets Turing universality. Moreover, five suffice get universality, number can be decreased three if forbidding context conditions used.