计算机导论答案ch-17.pdfVIP

CHAPTER 17 Theory of Computation Review Questions 1. We need the theory of computation in order for computer scientists to answer some intrinsic questions. 2. The increment statement adds 1 to a variable. The decrement statement subtracts 1 from a variable. The loop statement repeats an action while the value of a variable is not zero. 3. The macro Y == X in the Simple Language that assigns the value of one variable to another is as follows: Y === 0 TEMP === 0 while X { incr Y decr X incr TEMP } while TEMP { decr TEMP incr X } We can see that this macro uses the three basic statements. 4. Any program that can be written in our Simple Language can also be implemented on the Turing machine. 3 4 CHAPTER 17 THEORY OF COMPUTATION 5. The tape holds a sequence of characters from an acceptable character set. The read/ write head points to a character on the tape and is used to read and write characters. The controller controls the read/write head and is the theoretical counterpart of the CPU in todays computers. 6. One way is to assign specific characters to denote the beginning and the end of the data on the