6. TM Variants, Church-Turing Thesis
1:16:51
7. Decision Problems for Automata and Grammars
2:49:40
Turing Machines + Decidability in 3 Hours (TM, Variants, Church-Turing, Decidability)
1:20:48
The Church-Turing Thesis: Story and Recent Progress
1:18:27
16. Cook-Levin Theorem
22:59
O Paradoxo da Cúpula: Uma Brecha nas Leis de Newton
12:59
The Boundary of Computation
1:13:59
5. CF Pumping Lemma, Turing Machines
1:06:01