Artículo
Proof techniques in Membrane Computing
Autor/es | Orellana Martín, David
Valencia Cabrera, Luis Pérez Jiménez, Mario de Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2021 |
Fecha de depósito | 2021-04-26 |
Publicado en |
|
Resumen | From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, theoretical questions like the computational power and thecomputational efficiency of P systems have ... From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, theoretical questions like the computational power and thecomputational efficiency of P systems have been studied. In this sense, several techniquesto demonstrate the ability of these systems to provide solutions to computational problemshave been explored. The study of efficient(polynomial-time) solutions to presumably hardproblems for finding thin frontiers of efficiency is a very active area. On the other hand,several applications in biology, ecology, economy, robotics and fault diagnosis, amongothers, have been investigated. Real systems with some characteristics seem to be easyto model with membrane systems due to their behaviour. In this work, a survey of thetheoretical part will be given, explaining techniques both in the field of computabilitytheory and in the field of computational complexity theory. |
Agencias financiadoras | Ministerio de Economia, Industria y Competitividad (MINECO). España |
Identificador del proyecto | TIN2017-89842-P (MABICAP) |
Cita | Orellana Martín, D., Valencia Cabrera, L. y Pérez Jiménez, M.d.J. (2021). Proof techniques in Membrane Computing. Theoretical Computer Science, 862 (March 2021), 236-249. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Proof techniques in Membrane ... | 806.0Kb | [PDF] | Ver/ | |