Turing Decidable and Recognizable Languages

TMs and Infinite Loops

Looping on a String

Looping and DFA, NFA, PDA

Languages Accepted by DFA, NFA, PDA

Looping and Defining Languages

Recognizers and Deciders



Definition: Turing Decidable Language

Review: Turing Recognizable Language

Showing that a Language is Decidable/Recognizable

Relationship among Language Classes