P SYSTEMS WITH ACTIVE MEMBRANES WORKING IN POLYNOMIAL SPACE

We prove that recognizer P systems with active membranes using polynomial space characterize the complexity class PSPACE. This result holds for both confluent and nonconfluent systems, and independently of the use of membrane division rules.