Theory of Computation (Fall 2013): Programming Language L, Primitive Instructions & Macros, Program States, Snapshots, & Computations
