A rewriting logic framework for operational semantics of membrane systems |
| |
Authors: | Oana Andrei Gabriel Ciobanu Dorel Lucanu |
| |
Affiliation: | 1. LORIA, 54602 Villers-lès-Nancy Cedex, France;2. Faculty of Computer Science, “A.I.Cuza” University, 700483 Ia?i, Romania;3. Institute of Computer Science, Romanian Academy, 700505 Ia?i, Romania |
| |
Abstract: | Existing results in membrane computing refer mainly to P systems’ characterization of Turing computability, also to some polynomial solutions to NP-complete problems by using an exponential workspace created in a “biological way”. In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic. We present some results regarding these implementations, including two operational correspondence results, and discuss why these implementations are relevant in order to take advantage of good features of both structural operational semantics and rewriting logic. |
| |
Keywords: | Membrane systems Operational semantics Rewriting logic Maude |
本文献已被 ScienceDirect 等数据库收录! |
|