A Definition of Turing Machines. A Turing machine is a kind of state ... The Encoding of the Machine in Figure 1. This construction shows that it is possible to encode the tupes of a Turing machine on a Turing machine's tape (in fact we have done this using only the alphabet {0,1}, while we know from a previous result that we could have used an ...
