TM as a Computational Model: Example
q1
s
D/D, R
TM M:
1/1, R
D/1, R
q2
f
D/D, L
q3
1/D, L
q4
1/1, L
D/D, S
sD11D11 |– Dq111 D11 |– D1q11D11 |– D11q1D11 |– D111q211
    |– D1111q21 |– D11111q2D |– D1111q31 |– D111q41
    |– D11q411 |– D1q4111 |– Dq41111 |– q4D1111
    |– fD1111
f(11, 11) = 1111
Summary:
Note: f(x1, x2) = x1 + x2, where
• x1 = 1a represents a natural number a
• x2 = 1b represents a natural number b
18/45
1/1, R