Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

You can make sense of the differences abstractly considering the band, the state register and the instruction table of a Turing machine.


A Turing machine is just one of many ways in which you could make a computing device. It is one of the easiest to mechanize and program for, which is why we use them but there is absolutely no reason to believe it is the only way of doing things. GP was getting at a more basic form of computation than the specific one performed by Turing machines. From a mathematical perspective the tape, the registers and instruction tables are all implementation details.


> absolutely no reason to believe it is the only way of doing things

Well, I did not suggests that.

> From a mathematical perspective the tape, the registers and instruction tables are all implementation details.

No, they are used to define concepts such as space complexity for Turing machines and there is something to learn from Turing machines, that's why people are studying them.


You can think of the Church Turing thesis as providing a formalism for how the tape, registers and instruction tables are all implementation details.


So the band and state register is memory? And the instruction table is computation?


The instruction table is a function. Computation is the act of applying that function to the state.

Edit:

Grammatically "computation" is "The act of computing" where computing is a verb.

"Memory" is a noun, and not one about an act. It's more like saying "clothing".


This kind of touches on my original point.

A function can be seen both as the set of all pairs of the function, or as an oracle that you feed input to and receive output. The first is to me the full memory space, the second is maybe computation.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: