$$\textbf{Contents}$$

$\textbf{Syllabus:}$

Web Page

            Topic Covered in Videos Video link from GO Youtube channel
  • Introduction to TOC and Finite State Machines
  • Closure & Non-determinism
  • Pumping Lemma
  • Minimizing Finite State Machines
  • Context-free Grammars
  • Relationship to Compiling & Chomsky Normal Forms
  • Deterministic & Non-deterministic Pushdown Automata
  • Context-Free Grammars (CFGs) and Push Down Automata (PDA)
  • More Lemmas and CYK Algorithm
  • Undecidability and CFLs
  • The Bull's Eye
  • Turing Machines
  • The Halting Problem
  • Decidability
  • Complexity Theory; Quantified Boolean Formula
  • Decidability discussion Part 1
  • Decidability discussion Part 2
  • Decidability discussion Part 3
GO Videos
posted Oct 7, 2019 edited Apr 4, 2021
2
Like
0
Love
0
Haha
0
Wow
0
Angry
0
Sad