JUCS - Journal of Universal Computer Science 23(7): 692-703, doi: 10.3217/jucs-023-07-0692
Reversibility in Parallel Rewriting Systems
expand article infoBogdan Aman, Gabriel Ciobanu§
‡ Romanian Academy, Iaşi, Romania§ "A.I.Cuza" University, Iaşi, Romania
Open Access
This paper represents a study of reversibility in parallel rewriting systems over multisets. It emphasizes the controlled reversibility for a particular case of parallel rewriting systems given by membrane systems, a formalism inspired by the cell activity. We define reversible membrane systems in which the scenarios based on regular expressions are able to control the direction (forward or backward) of the evolution. The backward computation is triggered by a special symbol ae introduced into the system. Several results concerning the evolution of membrane systems and reversible membrane systems are provided, opening new research opportunities.
controlled reversibility, membrane computing