Simulating Turing Machines with Polarizationless P Systems with Active Membranes

Description

We prove that every single-tape deterministic Turing machine working in t(n) t(n) time, for some function t:N→N t:N→N , can be simulated by a uniform family of polarizationless P systems with active membranes. Moreover, this is done without significant slowdown in the working time. Furthermore, if logt(n) log⁡t(n) is space constructible, then the members of the uniform family can be constructed by a family machine that uses O(logt(n)) O(log⁡t(n)) space.

Abstract

Ministerio de Economía y Competitividad TIN2012-37434

Additional details