 On 24 October 2007, it was announced that the prize had been won by Alex Smith, a student in electronics and computing at the University of Birmingham, for his proof that it was universal, though the proof was initially disputed.The following table indicates the actions to be performed by the Turing machine depending on whether its current state is A or B, and the symbol currently being read is 0, 1 or 2.The table entries indicate the symbol to be printed, the direction in which the tape head is to move, and the subsequent state of the machine.