 Table 4  gives the transition table of a Turing machine \(T_{\textrm{Add}_2}\) which adds two natural numbers n and m. We assume the machine starts in state \(q_1\) scanning the leftmost 1 of \(n+1\).