Mutual Mobile Membranes with Timers
Abstract
A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins have a well-defined lifetime. Inspired from these biological facts, we define a model of systems of mobile membranes in which each membrane and each object has a timer representing their lifetime. We show that systems of mutual mobile membranes with and without timers have the same computational power. An encoding of timed safe mobile ambients into systems of mutual mobile membranes with timers offers a relationship between two formalisms used in describing biological systems.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2009
- DOI:
- 10.48550/arXiv.0910.1217
- arXiv:
- arXiv:0910.1217
- Bibcode:
- 2009arXiv0910.1217A
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Quantitative Biology - Quantitative Methods
- E-Print:
- EPTCS 6, 2009, pp. 1-15