[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/03 - 19. Specific undecidable problems (56 min.)/5 - 3 - 19. Specific undecidable problems (56 min.).mp4 |
62.4 MB |
[Coursera] Automata/01 - Week 1 Finite Automata/04 - 4. Nondeterministic finite automata (46 min.)/1 - 4 - 4. Nondeterministic finite automata (46 min.).mp4 |
51.5 MB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/02 - 21. Satisfiability and Cooks theorem (44 min.)/6 - 2 - 21. Satisfiability and Cooks theorem (44 min.).mp4 |
49.4 MB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/03 - 7. Decision algorithms for regular languages (41 min.)/2 - 3 - 7. Decision algorithms for regular languages (41 min.).mp4 |
46.7 MB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/01 - 5. Regular expressions (38 min.)/2 - 1 - 5. Regular expressions (38 min.).mp4 |
42.5 MB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/01 - 17. Extensions and properties of Turing machines (37 min.)/5 - 1 - 17. Extensions and properties of Turing machines (37 min.).mp4 |
41.5 MB |
[Coursera] Automata/01 - Week 1 Finite Automata/03 - 3. Deterministic finite automata (36 min.)/1 - 3 - 3. Deterministic finite automata (36 min.).mp4 |
40.3 MB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/03 - 15. Decision and closure properties for CFLs (35 min.)/4 - 3 - 15. Decision and closure properties for CFLs (35 min.).mp4 |
39.6 MB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/04 - 16. Turing machines (34 min.)/4 - 4 - 16. Turing machines (34 min.).mp4 |
38.2 MB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/03 - 22. Specific NP-complete problems (33 min.)/6 - 3 - 22. Specific NP-complete problems (33 min.).mp4 |
36.6 MB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/03 - 11. Normal forms for context-free grammars (27 min.)/3 - 3 - 11. Normal forms for context-free grammars (27 min.).mp4 |
31.1 MB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/01 - 9. Introduction to context-free grammars (27 min.)/3 - 1 - 9. Introduction to context-free grammars (27 min.).mp4 |
30.5 MB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/02 - 10. Parse trees (26 min.)/3 - 2 - 10. Parse trees (26 min.).mp4 |
29.6 MB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/01 - 20. P and NP (25 min.)/6 - 1 - 20. P and NP (25 min.).mp4 |
28.5 MB |
[Coursera] Automata/07 - Problem Session/03 - Problem Session 3/7 - 3 - Problem Session 3.mp4 |
27.2 MB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/04 - 12. Pushdown automata (24 min.)/3 - 4 - 12. Pushdown automata (24 min.).mp4 |
26.7 MB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/04 - 8. Closure properties of regular languages (20 min.)/2 - 4 - 8. Closure properties of regular languages (20 min.).mp4 |
23 MB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/02 - 18. Decidability (18 min.)/5 - 2 - 18. Decidability (18 min.).mp4 |
20.8 MB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/01 - 13. Equivalence of PDAs and CFGs (18 min.)/4 - 1 - 13. Equivalence of PDAs and CFGs (18 min.).mp4 |
20.6 MB |
[Coursera] Automata/07 - Problem Session/01 - Problem Session 1/7 - 1 - Problem Session 1.mp4 |
18.7 MB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/02 - 6. Regular expressions in the real world (17 min.)/2 - 2 - 6. Regular expressions in the real world (17 min.).mp4 |
18.6 MB |
[Coursera] Automata/01 - Week 1 Finite Automata/01 - 1. Course outline and motivation (15 min.)/1 - 1 - 1. Course outline and motivation (15 min.).mp4 |
17.1 MB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/02 - 14. The pumping lemma for CFLs (12 min.)/4 - 2 - 14. The pumping lemma for CFLs (12 min.).mp4 |
13.5 MB |
[Coursera] Automata/01 - Week 1 Finite Automata/02 - 2. Informal introduction to finite automata (11 min.)/1 - 2 - 2. Informal introduction to finite automata (11 min.).mp4 |
12.6 MB |
[Coursera] Automata/07 - Problem Session/04 - Problem Session 4/7 - 4 - Problem Session 4.mp4 |
11.6 MB |
[Coursera] Automata/07 - Problem Session/02 - Problem Session 2/7 - 2 - Problem Session 2.mp4 |
11.4 MB |
[Coursera] Automata/01 - Week 1 Finite Automata/02 - 2. Informal introduction to finite automata (11 min.)/2_vfa.ppt |
296 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/03 - 7. Decision algorithms for regular languages (41 min.)/7_rs1.ppt |
288 KB |
[Coursera] Automata/07 - Problem Session/02 - Problem Session 2/problem-session-2.ppt |
275 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/03 - 19. Specific undecidable problems (56 min.)/19_tm4.ppt |
229 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/02 - 2. Informal introduction to finite automata (11 min.)/2_vfa1.pdf |
227 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/03 - 3. Deterministic finite automata (36 min.)/3_fa2.ppt |
220 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/03 - 7. Decision algorithms for regular languages (41 min.)/7_rs1.pdf |
212 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/04 - 16. Turing machines (34 min.)/16_tm1.ppt |
203 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/01 - 17. Extensions and properties of Turing machines (37 min.)/17_tm2.ppt |
201 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/03 - 19. Specific undecidable problems (56 min.)/19_tm4.pdf |
190 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/01 - 17. Extensions and properties of Turing machines (37 min.)/17_tm2.pdf |
177 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/03 - 3. Deterministic finite automata (36 min.)/3_fa2.pdf |
174 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/04 - 4. Nondeterministic finite automata (46 min.)/4_fa3.ppt |
173 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/02 - 21. Satisfiability and Cooks theorem (44 min.)/21_pnp2.ppt |
173 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/01 - 9. Introduction to context-free grammars (27 min.)/9_cfl1.ppt |
167 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/03 - 22. Specific NP-complete problems (33 min.)/22_pnp3.ppt |
164 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/04 - 16. Turing machines (34 min.)/16_tm1.pdf |
152 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/04 - 12. Pushdown automata (24 min.)/12_pda1.ppt |
147 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/03 - 15. Decision and closure properties for CFLs (35 min.)/15_cfl5.ppt |
147 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/04 - 4. Nondeterministic finite automata (46 min.)/4_fa3.pdf |
146 KB |
[Coursera] Automata/07 - Problem Session/02 - Problem Session 2/problem-session-2.pdf |
144 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/02 - 10. Parse trees (26 min.)/10_cfl2.pdf |
138 KB |
[Coursera] Automata/07 - Problem Session/03 - Problem Session 3/problem-session-3.pdf |
138 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/03 - 11. Normal forms for context-free grammars (27 min.)/11_cfl3.ppt |
136 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/01 - 5. Regular expressions (38 min.)/5_re1.pdf |
136 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/03 - 22. Specific NP-complete problems (33 min.)/22_pnp3.pdf |
135 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/02 - 21. Satisfiability and Cooks theorem (44 min.)/21_pnp2.pdf |
135 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/02 - 10. Parse trees (26 min.)/10_cfl2.ppt |
135 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/03 - 15. Decision and closure properties for CFLs (35 min.)/15_cfl5.pdf |
130 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/01 - 5. Regular expressions (38 min.)/5_re1.ppt |
128 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/04 - 8. Closure properties of regular languages (20 min.)/8_rs2.ppt |
126 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/03 - 11. Normal forms for context-free grammars (27 min.)/11_cfl3.pdf |
123 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/04 - 12. Pushdown automata (24 min.)/12_pda1.pdf |
122 KB |
[Coursera] Automata/07 - Problem Session/03 - Problem Session 3/problem-session-3.ppt |
122 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/01 - 20. P and NP (25 min.)/20_pnp1.ppt |
119 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/01 - 13. Equivalence of PDAs and CFGs (18 min.)/13_pda2.ppt |
113 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/02 - 18. Decidability (18 min.)/18_tm3.ppt |
104 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/01 - 20. P and NP (25 min.)/20_pnp1.pdf |
101 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/04 - 8. Closure properties of regular languages (20 min.)/8_rs2.pdf |
99 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/01 - 9. Introduction to context-free grammars (27 min.)/9_cfl1.pdf |
97 KB |
[Coursera] Automata/07 - Problem Session/04 - Problem Session 4/problem-session-4.ppt |
95 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/02 - 14. The pumping lemma for CFLs (12 min.)/14_cfl4.pdf |
93 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/01 - 13. Equivalence of PDAs and CFGs (18 min.)/13_pda2.pdf |
93 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/02 - 18. Decidability (18 min.)/18_tm3.pdf |
92 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/02 - 6. Regular expressions in the real world (17 min.)/6_re2.ppt |
87 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/02 - 14. The pumping lemma for CFLs (12 min.)/14_cfl4.ppt |
86 KB |
[Coursera] Automata/07 - Problem Session/01 - Problem Session 1/problem-session-1.ppt |
79 KB |
[Coursera] Automata/lectures.html |
73 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/02 - 6. Regular expressions in the real world (17 min.)/6_re2.pdf |
73 KB |
[Coursera] Automata/07 - Problem Session/01 - Problem Session 1/problem-session-1.pdf |
73 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/01 - 1. Course outline and motivation (15 min.)/1_intro.ppt |
73 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/03 - 19. Specific undecidable problems (56 min.)/5 - 3 - 19. Specific undecidable problems (56 min.).srt |
67 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/02 - 21. Satisfiability and Cooks theorem (44 min.)/6 - 2 - 21. Satisfiability and Cooks theorem (44 min.).srt |
53 KB |
[Coursera] Automata/index.html |
52 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/03 - 7. Decision algorithms for regular languages (41 min.)/2 - 3 - 7. Decision algorithms for regular languages (41 min.).srt |
50 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/01 - 17. Extensions and properties of Turing machines (37 min.)/5 - 1 - 17. Extensions and properties of Turing machines (37 min.).srt |
47 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/04 - 4. Nondeterministic finite automata (46 min.)/1 - 4 - 4. Nondeterministic finite automata (46 min.).srt |
46 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/03 - 19. Specific undecidable problems (56 min.)/5 - 3 - 19. Specific undecidable problems (56 min.).txt |
45 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/04 - 16. Turing machines (34 min.)/4 - 4 - 16. Turing machines (34 min.).srt |
43 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/03 - 22. Specific NP-complete problems (33 min.)/6 - 3 - 22. Specific NP-complete problems (33 min.).srt |
43 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/03 - 3. Deterministic finite automata (36 min.)/1 - 3 - 3. Deterministic finite automata (36 min.).srt |
43 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/01 - 5. Regular expressions (38 min.)/2 - 1 - 5. Regular expressions (38 min.).srt |
42 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/01 - 1. Course outline and motivation (15 min.)/1_intro.pdf |
42 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/03 - 15. Decision and closure properties for CFLs (35 min.)/4 - 3 - 15. Decision and closure properties for CFLs (35 min.).srt |
40 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/02 - 21. Satisfiability and Cooks theorem (44 min.)/6 - 2 - 21. Satisfiability and Cooks theorem (44 min.).txt |
36 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/03 - 7. Decision algorithms for regular languages (41 min.)/2 - 3 - 7. Decision algorithms for regular languages (41 min.).txt |
34 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/03 - 11. Normal forms for context-free grammars (27 min.)/3 - 3 - 11. Normal forms for context-free grammars (27 min.).srt |
34 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/01 - 20. P and NP (25 min.)/6 - 1 - 20. P and NP (25 min.).srt |
34 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/01 - 17. Extensions and properties of Turing machines (37 min.)/5 - 1 - 17. Extensions and properties of Turing machines (37 min.).txt |
32 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/04 - 4. Nondeterministic finite automata (46 min.)/1 - 4 - 4. Nondeterministic finite automata (46 min.).txt |
31 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/01 - 9. Introduction to context-free grammars (27 min.)/3 - 1 - 9. Introduction to context-free grammars (27 min.).srt |
30 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/02 - 10. Parse trees (26 min.)/3 - 2 - 10. Parse trees (26 min.).srt |
30 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/04 - 16. Turing machines (34 min.)/4 - 4 - 16. Turing machines (34 min.).txt |
30 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/03 - 22. Specific NP-complete problems (33 min.)/6 - 3 - 22. Specific NP-complete problems (33 min.).txt |
29 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/03 - 3. Deterministic finite automata (36 min.)/1 - 3 - 3. Deterministic finite automata (36 min.).txt |
29 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/01 - 5. Regular expressions (38 min.)/2 - 1 - 5. Regular expressions (38 min.).txt |
28 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/03 - 15. Decision and closure properties for CFLs (35 min.)/4 - 3 - 15. Decision and closure properties for CFLs (35 min.).txt |
27 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/04 - 12. Pushdown automata (24 min.)/3 - 4 - 12. Pushdown automata (24 min.).srt |
26 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/02 - 18. Decidability (18 min.)/5 - 2 - 18. Decidability (18 min.).srt |
24 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/03 - 11. Normal forms for context-free grammars (27 min.)/3 - 3 - 11. Normal forms for context-free grammars (27 min.).txt |
23 KB |
[Coursera] Automata/06 - Week 6 Intractable Problems and NP-completeness/01 - 20. P and NP (25 min.)/6 - 1 - 20. P and NP (25 min.).txt |
23 KB |
[Coursera] Automata/07 - Problem Session/04 - Problem Session 4/problem-session-4.pdf |
22 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/04 - 8. Closure properties of regular languages (20 min.)/2 - 4 - 8. Closure properties of regular languages (20 min.).srt |
22 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/01 - 1. Course outline and motivation (15 min.)/1 - 1 - 1. Course outline and motivation (15 min.).srt |
21 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/02 - 6. Regular expressions in the real world (17 min.)/2 - 2 - 6. Regular expressions in the real world (17 min.).srt |
21 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/01 - 9. Introduction to context-free grammars (27 min.)/3 - 1 - 9. Introduction to context-free grammars (27 min.).txt |
20 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/02 - 10. Parse trees (26 min.)/3 - 2 - 10. Parse trees (26 min.).txt |
20 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/01 - 13. Equivalence of PDAs and CFGs (18 min.)/4 - 1 - 13. Equivalence of PDAs and CFGs (18 min.).srt |
19 KB |
[Coursera] Automata/03 - Week 3 Context-Free Grammars and Pushdown Automata/04 - 12. Pushdown automata (24 min.)/3 - 4 - 12. Pushdown automata (24 min.).txt |
18 KB |
[Coursera] Automata/07 - Problem Session/01 - Problem Session 1/7 - 1 - Problem Session 1.srt |
17 KB |
[Coursera] Automata/05 - Week 5 Turing Machines and Undecidability/02 - 18. Decidability (18 min.)/5 - 2 - 18. Decidability (18 min.).txt |
16 KB |
[Coursera] Automata/automata-002-about.json |
16 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/04 - 8. Closure properties of regular languages (20 min.)/2 - 4 - 8. Closure properties of regular languages (20 min.).txt |
15 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/02 - 14. The pumping lemma for CFLs (12 min.)/4 - 2 - 14. The pumping lemma for CFLs (12 min.).srt |
15 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/01 - 1. Course outline and motivation (15 min.)/1 - 1 - 1. Course outline and motivation (15 min.).txt |
14 KB |
[Coursera] Automata/02 - Week 2 Regular Expression and Properties of Regular Languages/02 - 6. Regular expressions in the real world (17 min.)/2 - 2 - 6. Regular expressions in the real world (17 min.).txt |
14 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/02 - 2. Informal introduction to finite automata (11 min.)/1 - 2 - 2. Informal introduction to finite automata (11 min.).srt |
14 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/01 - 13. Equivalence of PDAs and CFGs (18 min.)/4 - 1 - 13. Equivalence of PDAs and CFGs (18 min.).txt |
13 KB |
[Coursera] Automata/07 - Problem Session/01 - Problem Session 1/7 - 1 - Problem Session 1.txt |
11 KB |
[Coursera] Automata/04 - Week 4 Pushdown Automata and Properties of Context-Free Languages/02 - 14. The pumping lemma for CFLs (12 min.)/4 - 2 - 14. The pumping lemma for CFLs (12 min.).txt |
10 KB |
[Coursera] Automata/01 - Week 1 Finite Automata/02 - 2. Informal introduction to finite automata (11 min.)/1 - 2 - 2. Informal introduction to finite automata (11 min.).txt |
10 KB |
[Coursera] Automata/_README.txt |
4 KB |