CSC 341 (Fall 2021)

Reading: Machine Analysis

We will now begin to explore the limits of computation in depth, starting with the decidable properties of machines.

Machine Analysis