Turing Machine Definitions: Configuration, Computation, Yields, Halting

Here we define many terms for Turing Machines (TMs), namely configuration, computation, halting, accepting, rejecting, and yields. All of them are based on the behavior of TMs, and how to precisely define what computing on a TM actually means.

What is a Turing Machine? It is a state machine that has a set of states, input, tape alphabet, a start state, exactly one accept state, and exactly one reject state. See    • Turing Machines - what are they? + Fo...   for more details.

Easy Theory Website: https://www.easytheory.org
Become a member:    / @easytheory  
Donation (appears on streams): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon:   / easytheory  
Discord:   / discord  

Youtube Live Streaming (Sundays) - subscribe for when these occur.

Merch:
Language Hierarchy Apparel: https://teespring.com/language-hierar...
Pumping Lemma Apparel: https://teespring.com/pumping-lemma-f...

If you like this content, please consider subscribing to my channel:    / @easytheory  

▶SEND ME THEORY QUESTIONS◀
[email protected]

▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.