Presentation is loading. Please wait.

Presentation is loading. Please wait.

Computer Science, An Overview Brookshear © 2000 Addison Wesley Computer Science — An Overview J. Glenn Brookshear Chapter Eleven, Figures 1-7 Theory of.

Similar presentations


Presentation on theme: "Computer Science, An Overview Brookshear © 2000 Addison Wesley Computer Science — An Overview J. Glenn Brookshear Chapter Eleven, Figures 1-7 Theory of."— Presentation transcript:

1 Computer Science, An Overview Brookshear © 2000 Addison Wesley Computer Science — An Overview J. Glenn Brookshear Chapter Eleven, Figures 1-7 Theory of Computation

2 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.1 A Bare Bones program for computing X x Y

3 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.2 A Bare Bones implementation of the instruction “move Tax to Extra”

4 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.3 The components of a Turing machine

5 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.4 A Turing machine for incrementing a value

6 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.5 The successor function

7 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.6 Computing the Gödel number of a Bare Bones program

8 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.7 (A) Proving the unsolvability of the halting program

9 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.7 (B) Proving the unsolvability of the halting program

10 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.7 (C) Proving the unsolvability of the halting program

11 Computer Science, An Overview Brookshear © 2000 Addison Wesley Figure 11.7 (D) Proving the unsolvability of the halting program


Download ppt "Computer Science, An Overview Brookshear © 2000 Addison Wesley Computer Science — An Overview J. Glenn Brookshear Chapter Eleven, Figures 1-7 Theory of."

Similar presentations


Ads by Google