| automata-004/01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.mp4 |
17.1 MB |
| automata-004/01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.pdf |
42 KB |
| automata-004/01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.ppt |
73 KB |
| automata-004/01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.srt |
21 KB |
| automata-004/01_Week_1-_Finite_Automata/01_1._Course_outline_and_motivation_15_min.txt |
14 KB |
| automata-004/01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.mp4 |
12.6 MB |
| automata-004/01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.pdf |
227 KB |
| automata-004/01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.ppt |
296 KB |
| automata-004/01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.srt |
14 KB |
| automata-004/01_Week_1-_Finite_Automata/02_2._Informal_introduction_to_finite_automata_11_min.txt |
10 KB |
| automata-004/01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.mp4 |
40.3 MB |
| automata-004/01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.pdf |
174 KB |
| automata-004/01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.ppt |
220 KB |
| automata-004/01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.srt |
43 KB |
| automata-004/01_Week_1-_Finite_Automata/03_3._Deterministic_finite_automata_36_min.txt |
29 KB |
| automata-004/01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.mp4 |
57.9 MB |
| automata-004/01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.pdf |
146 KB |
| automata-004/01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.ppt |
173 KB |
| automata-004/01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.srt |
46 KB |
| automata-004/01_Week_1-_Finite_Automata/04_4._Nondeterministic_finite_automata_46_min.txt |
31 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..mp4 |
47.2 MB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..pdf |
166 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..ppt |
922 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..srt |
42 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/01_5._Regular_expressions_38_min..txt |
28 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..mp4 |
18.6 MB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..pdf |
73 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..ppt |
87 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..srt |
21 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/02_6._Regular_expressions_in_the_real_world_17_min..txt |
14 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.mp4 |
52.4 MB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.pdf |
212 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.ppt |
288 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.srt |
53 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/03_7._Decision_algorithms_for_regular_languages_41_min.txt |
33 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.mp4 |
23 MB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.pdf |
99 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.ppt |
126 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.srt |
22 KB |
| automata-004/02_Week_2-_Regular_Expression_and_Properties_of_Regular_Languages/04_8._Closure_properties_of_regular_languages_20_min.txt |
15 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..mp4 |
30.5 MB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..pdf |
97 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..ppt |
167 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..srt |
30 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/01_9._Introduction_to_context-free_grammars_27_min..txt |
20 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.mp4 |
29.6 MB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.pdf |
138 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.ppt |
135 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.srt |
30 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/02_10._Parse_trees_26_min.txt |
20 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.mp4 |
34.8 MB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.pdf |
123 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.ppt |
136 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.srt |
34 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/03_11._Normal_forms_for_context-free_grammars_27_min.txt |
23 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.mp4 |
26.7 MB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.pdf |
122 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.ppt |
147 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.srt |
26 KB |
| automata-004/03_Week_3-_Context-Free_Grammars_and_Pushdown_Automata/04_12._Pushdown_automata_24_min.txt |
18 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.mp4 |
20.6 MB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.pdf |
93 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.ppt |
113 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.srt |
19 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/01_13._Equivalence_of_PDAs_and_CFGs_18_min.txt |
13 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.mp4 |
15 MB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.pdf |
93 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.ppt |
86 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.srt |
16 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/02_14._The_pumping_lemma_for_CFLs_12_min.txt |
10 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.mp4 |
39.6 MB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.pdf |
130 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.ppt |
147 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.srt |
40 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/03_15._Decision_and_closure_properties_for_CFLs_35_min.txt |
27 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.mp4 |
38.2 MB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.pdf |
152 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.ppt |
203 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.srt |
43 KB |
| automata-004/04_Week_4-_Pushdown_Automata_and_Properties_of_Context-Free_Languages/04_16._Turing_machines_34_min.txt |
30 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.mp4 |
41.5 MB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.pdf |
177 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.ppt |
201 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.srt |
47 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/01_17._Extensions_and_properties_of_Turing_machines_37_min.txt |
32 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.mp4 |
20.8 MB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.pdf |
92 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.ppt |
104 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.srt |
24 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/02_18._Decidability_18_min.txt |
16 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.mp4 |
69.5 MB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.pdf |
190 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.ppt |
229 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.srt |
72 KB |
| automata-004/05_Week_5-_Turing_Machines_and_Undecidability/03_19._Specific_undecidable_problems_56_min.txt |
44 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.mp4 |
28.5 MB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.pdf |
101 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.ppt |
119 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.srt |
34 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/01_20._P_and_NP_25_min.txt |
23 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.mp4 |
49.4 MB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.pdf |
135 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.ppt |
173 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.srt |
53 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/02_21._Satisfiability_and_Cooks_theorem_44_min.txt |
36 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.mp4 |
36.6 MB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.pdf |
135 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.ppt |
164 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.srt |
43 KB |
| automata-004/06_Week_6-_Intractable_Problems_and_NP-completeness/03_22._Specific_NP-complete_problems_33_min.txt |
29 KB |
| automata-004/07_Problem_Session/01_Problem_Session_1.mp4 |
18.7 MB |
| automata-004/07_Problem_Session/01_Problem_Session_1.pdf |
73 KB |
| automata-004/07_Problem_Session/01_Problem_Session_1.ppt |
79 KB |
| automata-004/07_Problem_Session/01_Problem_Session_1.srt |
17 KB |
| automata-004/07_Problem_Session/01_Problem_Session_1.txt |
11 KB |
| automata-004/07_Problem_Session/02_Problem_Session_2.mp4 |
12.3 MB |
| automata-004/07_Problem_Session/02_Problem_Session_2.pdf |
144 KB |
| automata-004/07_Problem_Session/02_Problem_Session_2.ppt |
275 KB |
| automata-004/07_Problem_Session/02_Problem_Session_2.srt |
9 KB |
| automata-004/07_Problem_Session/02_Problem_Session_2.txt |
6 KB |
| automata-004/07_Problem_Session/03_Problem_Session_3.mp4 |
29.8 MB |
| automata-004/07_Problem_Session/03_Problem_Session_3.pdf |
138 KB |
| automata-004/07_Problem_Session/03_Problem_Session_3.ppt |
122 KB |
| automata-004/07_Problem_Session/03_Problem_Session_3.srt |
31 KB |
| automata-004/07_Problem_Session/03_Problem_Session_3.txt |
20 KB |
| automata-004/07_Problem_Session/04_Problem_Session_4.mp4 |
12.7 MB |
| automata-004/07_Problem_Session/04_Problem_Session_4.pdf |
22 KB |
| automata-004/07_Problem_Session/04_Problem_Session_4.ppt |
95 KB |
| automata-004/07_Problem_Session/04_Problem_Session_4.srt |
14 KB |
| automata-004/07_Problem_Session/04_Problem_Session_4.txt |
9 KB |
| automata-004/CourseWiki/CourseWiki.html |
38 KB |
| automata-004/CourseWiki/links.txt |
2 KB |
| automata-004/DiscussionForums/DiscussionForums.html |
62 KB |
| automata-004/DiscussionForums/links.txt |
7 KB |
| automata-004/Final Exam.html |
35 KB |
| automata-004/FinalExam/0_Final_Exam/0_Final_Exam.html |
32 KB |
| automata-004/FinalExam/0_Final_Exam/links.txt |
1 KB |
| automata-004/Home/Home.html |
97 KB |
| automata-004/Home/links.txt |
2 KB |
| automata-004/Homework.html |
66 KB |
| automata-004/Homework/0_Week_1_Finite_Automata/0_Week_1_Finite_Automata.html |
51 KB |
| automata-004/Homework/0_Week_1_Finite_Automata/links.txt |
1 KB |
| automata-004/Homework/1_Week_2_Regular_Expressions/1_Week_2_Regular_Expressions.html |
46 KB |
| automata-004/Homework/1_Week_2_Regular_Expressions/links.txt |
1 KB |
| automata-004/Homework/2_Week_2_Properties_of_Regular_Languages/2_Week_2_Properties_of_Regular_Languages.html |
48 KB |
| automata-004/Homework/2_Week_2_Properties_of_Regular_Languages/links.txt |
1 KB |
| automata-004/Homework/3_Week_3_Context_Free_Language/3_Week_3_Context_Free_Language.html |
51 KB |
| automata-004/Homework/3_Week_3_Context_Free_Language/links.txt |
1 KB |
| automata-004/Homework/4_Week_4_PDAs_and_CFL_Properties/4_Week_4_PDAs_and_CFL_Properties.html |
50 KB |
| automata-004/Homework/4_Week_4_PDAs_and_CFL_Properties/links.txt |
1 KB |
| automata-004/Homework/5_Week_5_Turing_Machine/5_Week_5_Turing_Machine.html |
47 KB |
| automata-004/Homework/5_Week_5_Turing_Machine/links.txt |
1 KB |
| automata-004/Homework/6_Week_6_NPCompleteness_and_Undecidability/6_Week_6_NPCompleteness_and_Undecidability.html |
55 KB |
| automata-004/Homework/6_Week_6_NPCompleteness_and_Undecidability/links.txt |
1 KB |
| automata-004/ProgrammingAssignments/ProgrammingAssignments.html |
39 KB |
| automata-004/ProgrammingAssignments/links.txt |
2 KB |
| automata-004/QuickQuestions15/QuickQuestions15.html |
55 KB |
| automata-004/QuickQuestions15/links.txt |
1 KB |
| automata-004/assignment_home.html |
39 KB |
| automata-004/assignments/Project1HelpCenter/PA1_java.zip |
17 KB |
| automata-004/assignments/Project1HelpCenter/PA1_python.zip |
9 KB |
| automata-004/assignments/Project1HelpCenter/links.txt |
2 KB |
| automata-004/assignments/Project1HelpCenter/zip_page.html |
50 KB |
| automata-004/assignments/Project2HelpCenter/PA2_java.zip |
16 KB |
| automata-004/assignments/Project2HelpCenter/PA2_python.zip |
8 KB |
| automata-004/assignments/Project2HelpCenter/links.txt |
2 KB |
| automata-004/assignments/Project2HelpCenter/zip_page.html |
50 KB |
| automata-004/automata-004-about.json |
8 KB |
| automata-004/course_home.html |
95 KB |
| automata-004/entered_login.html |
1.3 MB |
| automata-004/ghostdriver.log |
4 KB |
Magnet link
