Understanding Turing Machines: The Foundation of Modern Computing 🤖

Here we define what a Turing machine (TM) is, and give a formal definition. It's an extension of a DFA or a PDA in that (1) the input can be overwritten with new values, (2) the "tape head" can move back and forth, and (3) new cells can be allocated at any point (if the tape head is at the "right end" and tries to move right). We will eventually show that this is equivalent to the modern notion of a "computer."

Easy Theory Website: https://www.easytheory.org
GoFundMe: https://www.gofundme.com/f/easy-theory-video-studio
Patreon: https://www.patreon.com/EasyTheoryYT
Fourthwall: https://easy-theory-llc-shop.fourthwall.com
Problem Solving channel: ​⁠ @easytheoryprobsolve

If you like this content, please consider subscribing to my channel: https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg?sub_confirmation=1