Maths›03. Logic and Foundations11.2 Computation TracesStep-by-step evolution of Turing machine configurations and how computations are represented as traces.