Opened Access Christiansen Grammar for Some P Systems
Exportar a
Autor: Ortega de la Puente, Alfonso
Núñez Hervás, Rafael
Cruz Echeandía, Marina de la
Alfonseca, Manuel
Fecha: 2005
Publicado en: Proceedings of the Third Brainstorming Week on Membrane Computing, 229-248. Sevilla, E.T.S. de Ingeniería Informática, 31 de Enero-4 de Febrero, 2005,
ISBN/ISSN: 84-609-6771-9
Tipo de documento: Ponencia
Resumen: The main goal of this work is to formally describe P systems. This is a necessary step to subsequently apply Christiansen grammar evolution (an evolutionary tool developed by the authors) for automatic designing of P systems. Their complex structure suggests us two decisions: to restrict our study to a subset of P systems that ease the representation while keeping a suitable complexity and to select a powerful enough formal tool. Our work is restricted to a kind of P system that can simulate any logical function by means of delay symbols and two mobile catalysts. Like in general P systems, some components of these "logical" P systems depend on other components (for example, the number of axioms and regions and the set of possible indexes for the symbols in their rules depend on the membrane structure). So, a formal representation able to handle context dependent constructions is needed. Our work uses Christiansen grammars to describe P systems.
Tamaño: 340.2Kb
Formato: PDF


Mostrar el registro completo del ítem

Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones