Alan Turing Theory