Repositorio de producción científica de la Universidad de Sevilla

Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus

 

Advanced Search
 
Opened Access Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus
Cites
Show item statistics
Icon
Export to
Author: Aman, Bogdan
Battyányi, Péter
Ciobanu, Gabriel
Vaszil, György
Date: 2015
Published in: Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, 63-76. Sevilla, E.T.S. de Ingeniería Informática, 2-6 de Febrero, 2015,
ISBN/ISSN: 978-84-944366-2-8
Document type: Presentation
Abstract: We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes correspond to terminating reduction sequences of formulas and vice versa. In the end, the same result can be extracted from the underlying computation of the membrane system as from the reduction sequence of the chemical term. The simulation takes place in a typed chemical calculus, but we also give a short account of the untyped case.
Size: 312.4Kb
Format: PDF

URI: http://hdl.handle.net/11441/32929

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)