Reversing steps in membrane systems computations
Giovanni Michele Pinna
2017-01-01
Abstract
The issue of reversibility in computational paradigms has gained interest in recent years. In this paper we investigate how to reverse steps in membrane systems computations. The problem is that computation steps in membrane systems do not preserve all the information that has to be used when reversing them. We try to formalize the relevant information needed, and we show that the proposed approach enjoy the so called loop lemma, which basically assures that the undoing obtained by reversely applying rules is correct.File | Size | Format | |
---|---|---|---|
RevCompMembCMC18.pdf Solo gestori archivio
Type: versione post-print
Size 335.54 kB
Format Adobe PDF
|
335.54 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.