1 research outputs found
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
We prove that every single-tape deterministic Turing machine working in
t(n)
t(n)
time, for some function
t:N鈫扤
t: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鈦(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鈦(n))
space.Ministerio de Econom铆a y Competitividad TIN2012-3743