##article.return## A Characterization of Turing Machines that Compute Primitive Recursive Functions Download Download PDF