Encodings of Turing Machines in Linear Logic