4 ms·
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 theoret
by blattimwind 8y 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).
- Squonk42 8y agoExtract from http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/1997/Universal_Computer.pdf http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/... "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."