Theory of Computation https://uvatoc.github.io/week10 19.1 Decidable, Recognizable, Computable Nathan Brunelle and David Evans University of Virginia
No download links available.