Turing Machines: Historical Overview and Formal Definitions

This lecture from CS 374, Fall 2014, taught by Jeff Erickson, covers the history of Turing machines, their formal definitions, and provides examples to illustrate their concepts. For more details, visit the course webpage.