Undecidability: Part 1Introduces undecidability in recursive languages and Turing machines, showing languages without algorithmic recognition.
Turing Machines: BasicsCovers the basics of Turing machines, including states, tape manipulation, and problem-solving capabilities.
Operations on Formal LanguagesExplores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.