Mostrar el registro sencillo del ítem
Ponencia
Towards a P Systems Normal Form Preserving Step-by-step Behavior
dc.creator | Barbuti, Roberto | |
dc.creator | Maggiolo Schettini, Andrea | |
dc.creator | Milazzo, Paolo | |
dc.creator | Tini, Simone | |
dc.date.accessioned | 2016-03-16T11:46:15Z | |
dc.date.available | 2016-03-16T11:46:15Z | |
dc.date.issued | 2008 | |
dc.identifier.isbn | 9788461244294 | es |
dc.identifier.uri | http://hdl.handle.net/11441/38621 | |
dc.description.abstract | Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a unique normal form which preserves the semantics. As a first step, we introduce axioms which allow the transformation of mem- brane structures with no dissolving rules into flat membranes. We discuss the problems which arise when dissolving rules are allowed and we suggest possible solutions. We leave as future work the further step that leads to the wanted normal form. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Sixth Brainstorming Week on Membrane Computing, 21-40. Sevilla, E.T.S. de Ingeniería Informática, 4-8 de Febrero, 2008 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Towards a P Systems Normal Form Preserving Step-by-step Behavior | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/38621 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
TowardsAxioms-bwmc06.pdf | 226.0Kb | ![]() | Ver/ | |