On a Powerful Class of Non-universal P Systems with Active Membranes

Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally universal. However, they are powerful enough to solve exactly the problems solvable by Turing machines operating in time and space that are "tetrational" (i.e., bounded by a stack of exponentials of polynomial height) with respect to the size of the input.

• Type: Conference
• Year: 2010
• Where: DLT
• Authors: Antonio E. Porreca, Alberto Leporati, Claudio Zandron
• Keywords: Active Membranes, Computationally Universal, DLT 2010, Nonelementary Division Rules, Theoretical Computer Science