On the Inference of Turing Machines from Sample Computations A. W. Biermann