Derivatives of Turing Machines in Linear Logic