The Computational Power of Exponential-Space P Systems with Active Membranes
Închide
Articolul precedent
Articolul urmator
331 1
Ultima descărcare din IBN:
2021-09-25 02:10
SM ISO690:2012
ALHAZOV, Artiom, LEPORATI, Alberto, MAURI, Giancarlo, PORRECA, Antonio E., ZANDRON, Claudio. The Computational Power of Exponential-Space P Systems with Active Membranes. In: Brainstorming Week On Membrane Computing, 30 ianuarie - 3 februarie 2012, Sevilla. Sevilla, Spania: Fénix Editora, 2012, Ediția a 10-a, pp. 35-59.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Brainstorming Week On Membrane Computing
Ediția a 10-a, 2012
Masa rotundă "Tenth Brainstorming Week on Membrane Computing"
Sevilla, Spania, 30 ianuarie - 3 februarie 2012

The Computational Power of Exponential-Space P Systems with Active Membranes


Pag. 35-59

Alhazov Artiom12, Leporati Alberto1, Mauri Giancarlo1, Porreca Antonio E.1, Zandron Claudio1
 
1 University of Milano-Bicocca,
2 Institute of Mathematics and Computer Science ASM
 
 
Disponibil în IBN: 15 mai 2021


Rezumat

We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result is proved by simulating Turing machines working in exponential space via uniform families of P systems with restricted elementary active membranes; the simulation is ecient, in the sense that the time and space required are at most polynomial with respect to the resources employed by the simulated Turing machine.