Assertion: turing machine | /r/CapableOf | add two natural numbers
Facets:
Source sentences:
text: Table 4 gives the transition table of a Turing machine \(T_{\textrm{Add}_2}\) which adds two natural numbers n and m.