Link here
Still don't quite understand why your big cat said the Imperative language violates the calculation model of the map forever.
Von. Norman's model is not a calculation model? It is only a specific implementation of the calculation model, and this model is precisely efficiently realized the calculation model of the map. Simple comparison, both depend on the state change. I remember that the map spirit is not to use the writing head to change the status of the strap? The status on the strap can also indicate how to operate the writing head. This and von's model is completely: The data in the memory cell can be both pure data or an command to indicate the machine operation. Just only a von. Nocan machine has two straps, a read and write data, an analog operation. However, in this science, the first homework is not a proven to prove the two tapes of the map foreground and a zone of a tape.
In fact, we have shown that the method of using the equivalent problem of different types of map foreigners is basically analog. That is, the data mounted on the belt is simulated with the mobile simulation of the mobile phone. This is also a pure state change. The storage unit in the machine simulates the straps in the map. I can't see what a normal system is behind? Therefore, the theory of von and the theory of Tuling can't say it. And where the map foreground model is mentioned in full dependence, regardless of data and operation (not questioning, but ask.)? Can you provide a papers to do an evidence? Again the language level, the imperative language, C is also good, Fortran is also based on changing the status of the system, so there is no violation of the Chartering principle? Come back to see the Lambda theory, and it is the calculation of the establishment of several simple axioms, and emphasizes that it is not relying on state changes. I always feel that the big face cat is saying "departure from the map spirit" should be changed to "the theory of departure from Lambda Calculus".
