Comment by geraneum

The context acting as a "theoretically limitless tape" while simultaneously the step being O(1) are contradictory. You cannot have it both.