Michael Sipser. 18.404J Theory of Computation.
Fall 2020. Massachusetts Institute of Technology: MIT OpenCourseWare,
https://ocw.mit.edu
. License:
Creative Commons BY-NC-SA