|
|
|
|
|
|
|
|
|
|
|
|
|
v |
It
looks like B cannot execute the program …
|
|
|
v |
However,
|
|
|
|
o |
By
writing a procedure that performs the special A operation
|
|
by
simulating it with B’s instructions, and
|
|
|
|
o |
Replacing
each occurrence of that instruction with a call to
|
|
|
that
procedure,
|
|
|
v |
B
can run software equivalent to the software A runs
|
|
|
v |
Therefore, the
computers are equivalently powerful
|
|
|
|