1.Theory of Computation Programming Language L, Primitive Instructions & Macros, Partial Functions, Program States & Snapshots Vladimir Kulyukin2. Outline ● ●…