√2 Turing Machine – step-by-step simulator

A Turing Machine that computes the square root of 2 like the example in Ch. 6 of "Annotated Turing" by Charles Petzold.

State: begin
Last Symbol Read: 0
Digits so far: â€"
A Turing Machine Tape with Interleaved F-squares (digits) and E-squares (workspace)
x marker y marker z marker (= x & y coincide) r/s/t → 0 u/v/w → 1