Characterizing Tractability with Membrane Creation

This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer P systems with membrane creation) the tractability of decision problems that is, the ef cient solvability of problems by deterministic Turing machines. In this context, the use or not of these rules provides an interesting borderline between tractability and (presumable) intractability.Ministerio de Ciencia y Tecnología TIC2002-04220-C03-0