CSC 341 (Fall 2021)

Reading: Diagonalization

Diagonalization

On Monday, we talked about decidable language decision problems. We now develop the machinery to be able to discuss our first undecidable problem: acceptance for Turing machines.