Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformers