| | 1 - 4 - 4. Nondeterministic finite automata (46 min.).mp4 | 51.54 MB |
| | 1 - 3 - 3. Deterministic finite automata (36 min.).mp4 | 40.34 MB |
| | 1 - 1 - 1. Course outline and motivation (15 min.).mp4 | 17.08 MB |
| | 1 - 2 - 2. Informal introduction to finite automata (11 min.).mp4 | 12.58 MB |
| | 2_vfa.ppt | 296 KB |
| | 2_vfa1.pdf | 227.17 KB |
| | 3_fa2.ppt | 220 KB |
| | 3_fa2.pdf | 174.45 KB |
| | 4_fa3.ppt | 172.5 KB |
| | 4_fa3.pdf | 145.67 KB |
| | 2 - 3 - 7. Decision algorithms for regular languages (41 min.).mp4 | 46.73 MB |
| | 2 - 1 - 5. Regular expressions (38 min.).mp4 | 42.51 MB |
| | 2 - 4 - 8. Closure properties of regular languages (20 min.).mp4 | 22.96 MB |
| | 2 - 2 - 6. Regular expressions in the real world (17 min.).mp4 | 18.64 MB |
| | 7_rs1.ppt | 287.5 KB |
| | 7_rs1.pdf | 212.39 KB |
| | 5_re1.pdf | 135.73 KB |
| | 5_re1.ppt | 127.5 KB |
| | 8_rs2.ppt | 125.5 KB |
| | 8_rs2.pdf | 99.33 KB |
| | 3 - 3 - 11. Normal forms for context-free grammars (27 min.).mp4 | 31.09 MB |
| | 3 - 1 - 9. Introduction to context-free grammars (27 min.).mp4 | 30.46 MB |
| | 3 - 2 - 10. Parse trees (26 min.).mp4 | 29.64 MB |
| | 3 - 4 - 12. Pushdown automata (24 min.).mp4 | 26.69 MB |
| | 9_cfl1.ppt | 167 KB |
| | 12_pda1.ppt | 147 KB |
| | 10_cfl2.pdf | 138.44 KB |
| | 11_cfl3.ppt | 136 KB |
| | 10_cfl2.ppt | 134.5 KB |
| | 11_cfl3.pdf | 122.71 KB |
| | 4 - 3 - 15. Decision and closure properties for CFL's (35 min.).mp4 | 39.58 MB |
| | 4 - 4 - 16. Turing machines (34 min.).mp4 | 38.22 MB |
| | 4 - 1 - 13. Equivalence of PDA's and CFG's (18 min.).mp4 | 20.55 MB |
| | 4 - 2 - 14. The pumping lemma for CFL's (12 min.).mp4 | 13.46 MB |
| | 16_tm1.ppt | 203 KB |
| | 16_tm1.pdf | 152.12 KB |
| | 15_cfl5.ppt | 147 KB |
| | 15_cfl5.pdf | 130.34 KB |
| | 13_pda2.ppt | 113 KB |
| | 14_cfl4.pdf | 92.77 KB |
| | 5 - 3 - 19. Specific undecidable problems (56 min.).mp4 | 62.4 MB |
| | 5 - 1 - 17. Extensions and properties of Turing machines (37 min.).mp4 | 41.5 MB |
| | 5 - 2 - 18. Decidability (18 min.).mp4 | 20.78 MB |
| | 19_tm4.ppt | 229 KB |
| | 17_tm2.ppt | 201 KB |
| | 19_tm4.pdf | 190.22 KB |
| | 17_tm2.pdf | 177.11 KB |
| | 18_tm3.ppt | 103.5 KB |
| | 18_tm3.pdf | 91.82 KB |
| | 5 - 3 - 19. Specific undecidable problems (56 min.).srt | 66.57 KB |
| | 6 - 2 - 21. Satisfiability and Cook's theorem (44 min.).mp4 | 49.36 MB |
| | 6 - 3 - 22. Specific NP-complete problems (33 min.).mp4 | 36.64 MB |
| | 6 - 1 - 20. P and NP (25 min.).mp4 | 28.49 MB |
| | 21_pnp2.ppt | 172.5 KB |
| | 22_pnp3.ppt | 164 KB |
| | 22_pnp3.pdf | 135.17 KB |
| | 21_pnp2.pdf | 134.54 KB |
| | 20_pnp1.ppt | 119 KB |
| | 20_pnp1.pdf | 101.08 KB |
| | 6 - 2 - 21. Satisfiability and Cook's theorem (44 min.).srt | 52.56 KB |
| | 7 - 3 - Problem Session 3.mp4 | 27.2 MB |
| | 7 - 1 - Problem Session 1.mp4 | 18.74 MB |
| | 7 - 4 - Problem Session 4.mp4 | 11.57 MB |
| | 7 - 2 - Problem Session 2.mp4 | 11.45 MB |
| | problem-session-2.ppt | 275 KB |
| | problem-session-2.pdf | 143.93 KB |
| | problem-session-3.pdf | 137.74 KB |
| | problem-session-3.ppt | 121.5 KB |
| | problem-session-4.ppt | 95 KB |
| | problem-session-1.ppt | 79 KB |
| | problem-session-1.pdf | 72.7 KB |
| | problem-session-4.pdf | 22.43 KB |
| | 7 - 1 - Problem Session 1.srt | 16.54 KB |
| | 7 - 1 - Problem Session 1.txt | 11.34 KB |
All Comments