Alan Turing Computational Theory