Comment by raldi

Is there a summary of Turing's algorithm somewhere?