The Turing Normalizing Machine