| 01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.mp4 |
17.92MB |
| 01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.pdf |
42.53kB |
| 01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.ppt |
74.24kB |
| 01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.srt |
21.69kB |
| 01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.txt |
14.81kB |
| 01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.mp4 |
13.18MB |
| 01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.pdf |
232.62kB |
| 01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.ppt |
303.10kB |
| 01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.srt |
14.32kB |
| 01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.txt |
9.87kB |
| 01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.mp4 |
42.30MB |
| 01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.pdf |
178.64kB |
| 01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.ppt |
225.28kB |
| 01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.srt |
43.58kB |
| 01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.txt |
29.82kB |
| 01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.mp4 |
60.73MB |
| 01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.pdf |
149.17kB |
| 01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.ppt |
176.64kB |
| 01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.srt |
46.91kB |
| 01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.txt |
32.05kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..mp4 |
49.54MB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..pdf |
169.66kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..ppt |
943.62kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..srt |
42.74kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..txt |
29.17kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..mp4 |
19.55MB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..pdf |
74.67kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..ppt |
88.58kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..srt |
21.03kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..txt |
14.41kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.mp4 |
55.00MB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.pdf |
217.48kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.ppt |
294.40kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.srt |
54.26kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.txt |
33.34kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.mp4 |
24.08MB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.pdf |
101.72kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.ppt |
128.51kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.srt |
22.77kB |
| 02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.txt |
15.59kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..mp4 |
31.94MB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..pdf |
98.99kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..ppt |
171.01kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..srt |
30.61kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..txt |
20.91kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.mp4 |
31.07MB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.pdf |
141.76kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.ppt |
137.73kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.srt |
30.36kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.txt |
20.78kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.mp4 |
36.53MB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.pdf |
125.65kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.ppt |
139.26kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.srt |
34.67kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.txt |
23.69kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.mp4 |
27.98MB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.pdf |
124.45kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.ppt |
150.53kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.srt |
27.04kB |
| 03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.txt |
18.52kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.mp4 |
21.55MB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.pdf |
94.96kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.ppt |
115.71kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.srt |
19.92kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.txt |
13.64kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.mp4 |
15.69MB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.pdf |
95.00kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.ppt |
88.06kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.srt |
16.64kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.txt |
10.34kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.mp4 |
41.50MB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.pdf |
133.47kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.ppt |
150.53kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.srt |
40.83kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.txt |
27.87kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.mp4 |
40.08MB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.pdf |
155.77kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.ppt |
207.87kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.srt |
44.38kB |
| 04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.txt |
30.36kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.mp4 |
43.51MB |
| 05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.pdf |
181.36kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.ppt |
205.82kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.srt |
47.86kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.txt |
32.65kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.mp4 |
21.79MB |
| 05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.pdf |
94.02kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.ppt |
105.98kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.srt |
24.14kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.txt |
16.54kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.mp4 |
72.87MB |
| 05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.pdf |
194.78kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.ppt |
234.50kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.srt |
73.62kB |
| 05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.txt |
45.41kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.mp4 |
29.87MB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.pdf |
103.51kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.ppt |
121.86kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.srt |
34.48kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.txt |
23.53kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.mp4 |
51.76MB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.pdf |
137.77kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.ppt |
176.64kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.srt |
53.82kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.txt |
36.76kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.mp4 |
38.42MB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.pdf |
138.41kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.ppt |
167.94kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.srt |
43.97kB |
| 06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.txt |
30.06kB |
| 07_Problem_Session/01_Problem_Session_1.mp4 |
19.65MB |
| 07_Problem_Session/01_Problem_Session_1.pdf |
74.44kB |
| 07_Problem_Session/01_Problem_Session_1.ppt |
80.90kB |
| 07_Problem_Session/01_Problem_Session_1.srt |
16.94kB |
| 07_Problem_Session/01_Problem_Session_1.txt |
11.62kB |
| 07_Problem_Session/02_Problem_Session_2.mp4 |
12.93MB |
| 07_Problem_Session/02_Problem_Session_2.pdf |
147.38kB |
| 07_Problem_Session/02_Problem_Session_2.ppt |
281.60kB |
| 07_Problem_Session/02_Problem_Session_2.srt |
9.60kB |
| 07_Problem_Session/02_Problem_Session_2.txt |
5.79kB |
| 07_Problem_Session/03_Problem_Session_3.mp4 |
31.24MB |
| 07_Problem_Session/03_Problem_Session_3.pdf |
141.05kB |
| 07_Problem_Session/03_Problem_Session_3.ppt |
124.42kB |
| 07_Problem_Session/03_Problem_Session_3.srt |
31.83kB |
| 07_Problem_Session/03_Problem_Session_3.txt |
20.00kB |
| 07_Problem_Session/04_Problem_Session_4.mp4 |
13.34MB |
| 07_Problem_Session/04_Problem_Session_4.pdf |
22.97kB |
| 07_Problem_Session/04_Problem_Session_4.ppt |
97.28kB |
| 07_Problem_Session/04_Problem_Session_4.srt |
14.63kB |
| 07_Problem_Session/04_Problem_Session_4.txt |
9.20kB |
| CourseWiki/CourseWiki.html |
38.51kB |
| CourseWiki/links.txt |
1.79kB |
| DiscussionForums/DiscussionForums.html |
63.13kB |
| DiscussionForums/links.txt |
7.56kB |
| Final Exam.html |
35.68kB |
| FinalExam/0_Final_Exam/0_Final_Exam.html |
33.06kB |
| FinalExam/0_Final_Exam/links.txt |
1.51kB |
| Home/Home.html |
99.21kB |
| Home/links.txt |
2.35kB |
| Homework.html |
67.12kB |
| Homework/0_Week_1_Finite_Automata/0_Week_1_Finite_Automata.html |
52.36kB |
| Homework/0_Week_1_Finite_Automata/links.txt |
1.45kB |
| Homework/1_Week_2_Regular_Expressions/1_Week_2_Regular_Expressions.html |
46.72kB |
| Homework/1_Week_2_Regular_Expressions/links.txt |
1.45kB |
| Homework/2_Week_2_Properties_of_Regular_Languages/2_Week_2_Properties_of_Regular_Languages.html |
49.42kB |
| Homework/2_Week_2_Properties_of_Regular_Languages/links.txt |
1.45kB |
| Homework/3_Week_3_Context_Free_Language/3_Week_3_Context_Free_Language.html |
52.18kB |
| Homework/3_Week_3_Context_Free_Language/links.txt |
1.45kB |
| Homework/4_Week_4_PDAs_and_CFL_Properties/4_Week_4_PDAs_and_CFL_Properties.html |
51.01kB |
| Homework/4_Week_4_PDAs_and_CFL_Properties/links.txt |
1.45kB |
| Homework/5_Week_5_Turing_Machine/5_Week_5_Turing_Machine.html |
48.34kB |
| Homework/5_Week_5_Turing_Machine/links.txt |
1.45kB |
| Homework/6_Week_6_NPCompleteness_and_Undecidability/6_Week_6_NPCompleteness_and_Undecidability.html |
56.31kB |
| Homework/6_Week_6_NPCompleteness_and_Undecidability/links.txt |
1.45kB |
| ProgrammingAssignments/ProgrammingAssignments.html |
40.10kB |
| ProgrammingAssignments/links.txt |
2.06kB |
| QuickQuestions15/QuickQuestions15.html |
56.82kB |
| QuickQuestions15/links.txt |
1.34kB |
| assignment_home.html |
40.26kB |
| assignments/Project1HelpCenter/PA1_java.zip |
17.28kB |
| assignments/Project1HelpCenter/PA1_python.zip |
9.16kB |
| assignments/Project1HelpCenter/links.txt |
1.55kB |
| assignments/Project1HelpCenter/zip_page.html |
51.71kB |
| assignments/Project2HelpCenter/PA2_java.zip |
16.43kB |
| assignments/Project2HelpCenter/PA2_python.zip |
8.44kB |
| assignments/Project2HelpCenter/links.txt |
1.55kB |
| assignments/Project2HelpCenter/zip_page.html |
50.93kB |
| automata-004-about.json |
8.26kB |
| course_home.html |
96.77kB |
| entered_login.html |
1.37MB |
| ghostdriver.log |
3.62kB |
pj
