Skip to main content
edited tags
Link
Raphael
  • 72.9k
  • 30
  • 181
  • 393

What is the meaning and significance of a Turing machine taking a description of itself as input?

Currently I'm reading about haltingthe Halting problem, after considering. $H(\langle M,w\rangle)$ is a machine which will solve haltingthe Halting problem, and then using machine $H$ they createdone creates a new machine $D$ and theywe run $H$ on input $\langle M, \langle M\rangle\rangle$. 

My question is what does it means or it's: What is the significance thatof giving a description of Turing machine as input what is significance ofas in $\langle M,\langle M\rangle\rangle$?

whatWhat is the logical reason behind giving the description of a Turing machine as input to $D$?

Currently I'm reading about halting problem, after considering $H(\langle M,w\rangle)$ is machine which will solve halting problem, and then using machine $H$ they created a new machine $D$ and they run $H$ on input $\langle M, \langle M\rangle\rangle$. My question is what does it means or it's significance that giving a description of Turing machine as input what is significance of $\langle M,\langle M\rangle\rangle$?

what is logical reason behind giving description Turing machine as input ?

Currently I'm reading about the Halting problem. $H(\langle M,w\rangle)$ is a machine which will solve the Halting problem, and then using machine $H$ one creates a new machine $D$ and we run $H$ on input $\langle M, \langle M\rangle\rangle$. 

My question is: What is the significance of giving a description of Turing machine as input as in $\langle M,\langle M\rangle\rangle$?

What is the logical reason behind giving the description of a Turing machine as input to $D$?

Transcribed image. (sic)
Source Link
David Richerby
  • 82.2k
  • 26
  • 144
  • 238
Loading
Source Link
Loading