1403   result. They write in Chapter 3, Page 32:

  1403   result. They write in Chapter 3, Page 32:

  1404 

  1404 

  1405   \begin{quote}\it

  1405   \begin{quote}\it

  1406   ``If the function that is to be computed assigns no value to the arguments that 

  1406   ``If the function that is to be computed assigns no value to the arguments that 

  1407   are represented initially on the tape, then the machine either will never halt, 

  1407   are represented initially on the tape, then the machine either will never halt, 

  1409   \end{quote}

  1409   \end{quote}

  1410   

  1410   

  1411   \noindent

  1411   \noindent

  1412   Interestingly, they do not implement this definition when constructing

  1412   Interestingly, they do not implement this definition when constructing

  1413   their universal Turing machine. In Chapter 8, on page 93, a recursive function 

  1413   their universal Turing machine. In Chapter 8, on page 93, a recursive function