1. CS 5000: Lecture 37 Vladimir Kulyukin Department of Computer Science Utah State University

2. Outline A Computational Theory of Simulation

3. Review: Universality Theorem

4. Review: Snapshots

5. Step-Counter Predicate

6. Theorem 3.2 (Ch. 4): Step-Counter Theorem

7. Proof 3.2

8. Proof 3.2: Extracting Instruction Components

9. Proof 3.2: Skipping Instruction

13. Proof 3.2: Increment, Decrement, Branch

14. Proof 3.2: Successor State

15. Proof 3.2: Initial Snapshot

16. Proof 3.2: Terminal Snapshot

17. Proof 3.2: Snapshots

18. Proof 3.2: Primitive Recursiveness

19. Recommended Reading Section 4.3.