Static Analysis of Usefulness States in Transition P systems

Frutos Velasco, Juan Alberto de; Fernández Muñoz, Luis; Arroyo Montoro, Fernando y Bravo García, Ginés (2008). Static Analysis of Usefulness States in Transition P systems. "International Journal Information Technologies and Knowledge", v. 2 (n. 1); pp. 49-55. ISSN 1313-048X.

Descripción

Título: Static Analysis of Usefulness States in Transition P systems
Autor/es:
  • Frutos Velasco, Juan Alberto de
  • Fernández Muñoz, Luis
  • Arroyo Montoro, Fernando
  • Bravo García, Ginés
Tipo de Documento: Artículo
Título de Revista/Publicación: International Journal Information Technologies and Knowledge
Fecha: Enero 2008
Volumen: 2
Materias:
Palabras Clave Informales: Evolution Rules, Usefulness States, Transition P System, Sequential Machines, Static Analysis.
Escuela: E.U. de Informática (UPM) [antigua denominación]
Departamento: Lenguajes, Proyectos y Sistemas Informáticos
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (170kB) | Vista Previa

Resumen

Transition P Systems are a parallel and distributed computational model based on the notion of the cellular membrane structure. Each membrane determines a region that encloses a multiset of objects and evolution rules. Transition P Systems evolve through transitions between two consecutive configurations that are determined by the membrane structure and multisets present inside membranes. Moreover, transitions between two consecutive configurations are provided by an exhaustive non-deterministic and parallel application of evolution rules. But, to establish the rules to be applied, it is required the previous calculation of useful, applicable and active rules. Hence, computation of useful evolution rules is critical for the whole evolution process efficiency, because it is performed in parallel inside each membrane in every evolution step. This work defines usefulness states through an exhaustive analysis of the P system for every membrane and for every possible configuration of the membrane structure during the computation. Moreover, this analysis can be done in a static way; therefore membranes only have to check their usefulness states to obtain their set of useful rules during execution.

Más información

ID de Registro: 2226
Identificador DC: http://oa.upm.es/2226/
Identificador OAI: oai:oa.upm.es:2226
URL Oficial: http://www.foibg.com/ijitk/ijitk-vol02/ijitk-fv02.htm
Depositado por: Memoria Investigacion
Depositado el: 09 Feb 2010 10:46
Ultima Modificación: 20 Abr 2016 11:58
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM