|
|
|
|
|
|
by blattimwind
2918 days ago
|
|
|
This seems to me like a far more salient distinction than how the program is stored. Instruction pointer and explicit branching. The Z3 is still (in a theoretical sense) Turing-complete, even without branching instructions (exponential path construction). |
|
|
"We can therefore say that, from an abstract theoretical perspective, the computing model of the Z3 is equivalent to the computing model of today's computers. From a practical perspective, and in the way the Z3 was really programmed, it was not equivalent to modern computers."