Index of /class/csse/csse474/202140/Slides
Name
Last modified
Size
Description
Parent Directory
-
27-29-callcc-intro.pdf
03-Jul-2021 06:14
1.1M
AA_ReadMe.txt
29-May-2021 20:40
245
ClassNotes/
29-May-2021 20:40
-
Day01-FSM-Examples.pdf
29-May-2021 20:41
388K
Day01-FSM-Examples.ppt
29-May-2021 20:40
3.5M
Day01-induction-proof-writeup.pdf
29-May-2021 20:40
186K
Day02-CourseIntro_TheoryIntro.pdf
29-May-2021 20:41
230K
Day02-CourseIntro_TheoryIntro.ppt
29-May-2021 20:41
509K
Day03-Functions_Closures_DecisionProblems.pdf
29-May-2021 20:41
230K
Day03-Functions_Closures_DecisionProblems.ppt
29-May-2021 20:40
507K
Day03-Functions_Closures_DecisionProblems.pptx
29-May-2021 20:40
1.1M
Day04-FunctionsOnLanguages_DecisionProblems.pdf
29-May-2021 20:40
364K
Day04-FunctionsOnLanguages_DecisionProblems.pptx
29-May-2021 20:40
536K
Day05-DecisionProblems_DFSM.pdf
29-May-2021 20:40
295K
Day05-DecisionProblems_DFSM.ppt
29-May-2021 20:40
1.8M
Day06-NDFSM_to_DFSM_example.pdf
29-May-2021 20:40
100K
Day06-NDFSM_to_DFSM_example.xlsx
29-May-2021 20:40
71K
Day06-NonDeterminism_NFSM.pdf
29-May-2021 20:40
464K
Day06-NonDeterminism_NFSM.ppt
29-May-2021 20:41
1.8M
Day07-DFSM_Minimization.pdf
29-May-2021 20:41
195K
Day07-DFSM_Minimization.ppt
29-May-2021 20:41
1.4M
Day07-NDFSM_to_DFSM_example_blank.xlsx
29-May-2021 20:40
70K
Day07-NDFSM_to_DFSM_example_solution.xlsx
29-May-2021 20:41
88K
Day08-Minimization2_Canonical.pdf
29-May-2021 20:40
231K
Day08-Minimization2_Canonical.pptx
29-May-2021 20:41
287K
Day09-CanonicalExampleForTransparency.docx
29-May-2021 20:41
25K
Day09-Canonical_NDFSMtoDFSMproof.pdf
29-May-2021 20:40
389K
Day09-Canonical_NDFSMtoDFSMproof.pptx
29-May-2021 20:40
539K
Day09-things to write on board.docx
29-May-2021 20:41
14K
Day09-withDetails-Canonical_NDFSMtoDFSMproof.pptx
29-May-2021 20:41
251K
Day10_Exam-no-slides.ppt
29-May-2021 20:40
186K
Day11_RegularExpressions.pdf
29-May-2021 20:41
275K
Day11_RegularExpressions.ppt
29-May-2021 20:41
927K
Day12_DFSM-to-RE.pdf
29-May-2021 20:40
201K
Day12_DFSM-to-RE.ppt
29-May-2021 20:40
1.7M
Day13_DFSM-to-RE-Example_Closure.pdf
29-May-2021 20:40
271K
Day13_DFSM-to-RE-Part2.pdf
29-May-2021 20:40
271K
Day13_DFSM-to-RE-Part2.ppt
29-May-2021 20:40
1.2M
Day14-Perl_REs-handout.docx
29-May-2021 20:40
148K
Day14-Perl_REs-handout.pdf
29-May-2021 20:40
174K
Day14-Whiteboard-images/
29-May-2021 20:41
-
Day14_Closure-Pumping.pdf
29-May-2021 20:40
323K
Day14_Reverse-Practical.pptx
29-May-2021 20:40
1.4M
Day15_Closure_pumping.pdf
29-May-2021 20:40
285K
Day15_Closure_pumping.pptx
29-May-2021 20:41
667K
Day15_PumpingPractice_Decisions.pdf
29-May-2021 20:41
244K
Day16_Leftovers.pdf
29-May-2021 20:40
158K
Day16_Leftovers.ppt
29-May-2021 20:40
1.9M
Day16_Pumping.ppt
29-May-2021 20:40
2.1M
Day17_CFGIntro.pdf
29-May-2021 20:41
275K
Day17_DifficultyTimeline.xlsx
29-May-2021 20:40
9.6K
Day17_RegularOrNot-Closure-Decisions.ppt
29-May-2021 20:40
524K
Day17_RegularOrNot.ppt
29-May-2021 20:40
585K
Day18_CFG-Part2.pdf
29-May-2021 20:40
303K
Day18_DecisionProblems.ppt
29-May-2021 20:40
645K
Day18_Decision Procedure Practice.ppt
29-May-2021 20:40
607K
Day18_RegularOrNot-Closure-Decisions.ppt
29-May-2021 20:41
561K
Day19_CFG-intro.ppt
29-May-2021 20:40
2.0M
Day20_CFG_part2.pptx
29-May-2021 20:40
14M
Day20_Useless-Ambiguous.pdf
29-May-2021 20:40
265K
Day20_Useless-Ambiguous.pptx
29-May-2021 20:41
14M
Day21_Structure_Ambiguity_Chomsky.pdf
29-May-2021 20:41
194K
Day21_Structure_Ambiguity_Chomsky.ppt
29-May-2021 20:41
2.6M
Day22_Ambiguity_Normal_PDA-Intro.pdf
29-May-2021 20:40
279K
Day22_Ambiguity_Normal_PDA-Intro.ppt
29-May-2021 20:40
2.3M
Day23_PDA-examples.pdf
29-May-2021 20:41
390K
Day23_PDA-examples.ppt
29-May-2021 20:40
2.5M
Day24_Nondeterminism_Parsing.pdf
29-May-2021 20:40
227K
Day24_Nondeterminism_Parsing.ppt
29-May-2021 20:40
2.4M
Day25_BottomUp-Pumping.pdf
29-May-2021 20:40
313K
Day25_BottomUp-Pumping.ppt
29-May-2021 20:41
2.5M
Day26_PumpingExamples.pdf
29-May-2021 20:41
243K
Day26_PumpingExamples.ppt
29-May-2021 20:40
2.2M
Day27-Closure_Decisions_TM.pdf
29-May-2021 20:40
383K
Day27-Closure_Decisions_TM.pptx
29-May-2021 20:40
2.5M
Day28_TM-Def_Design_Macros.pdf
29-May-2021 20:40
413K
Day28_TM-Def_Design_Macros.pptx
29-May-2021 20:40
2.7M
Day29-Universal_ChurchTuring.ppt
29-May-2021 20:40
3.4M
Day29_Handout_MacroLanguage.pdf
29-May-2021 20:41
82K
Day29_TM-Macros.pdf
29-May-2021 20:40
280K
Day29_TM-Macros.pptx
29-May-2021 20:40
2.2M
Day29_TM-Part2_Design_Macros.pptx
29-May-2021 20:40
2.2M
Day30_TM-Macros.pptx
29-May-2021 20:41
2.0M
Day31_Exam3Discussion_2TypesOfTMs.pdf
29-May-2021 20:40
761K
Day31_Exam3Discussion_2TypesOfTMs.pptx
29-May-2021 20:40
2.9M
Day31_TM-Variations_UniversalTM.pdf
29-May-2021 20:40
610K
Day31_TM-Variations_UniversalTM.pptx
29-May-2021 20:40
2.9M
Day32-Hailstones-output.docx
29-May-2021 20:40
625K
Day32-UniversalTM_ChurchTuring.pptx
29-May-2021 20:41
3.4M
Day33_TM-Variations_UniversalTM.pdf
29-May-2021 20:40
695K
Day33_TM-Variations_UniversalTM.pptx
29-May-2021 20:40
4.0M
Day34_UniversalTM_Halting.pdf
29-May-2021 20:40
318K
Day34_UniversalTM_Halting.pptx
29-May-2021 20:41
3.1M
Day35-Halting.pptx
29-May-2021 20:40
2.2M
Day35-Halting_DandSD.pdf
29-May-2021 20:40
209K
Day35-Halting_DandSD.pptx
29-May-2021 20:41
2.1M
Day35-MoreReduction.pptx
29-May-2021 20:40
2.4M
Day35_whiteboard-photos.zip
29-May-2021 20:40
6.1M
Day35_whiteboard photos/
29-May-2021 20:40
-
Day36-Enumerability-Reduction.pdf
29-May-2021 20:40
163K
Day36-Enumerability-Reduction.pptx
29-May-2021 20:40
2.0M
Day36-StillMoreReductions.pptx
29-May-2021 20:41
1.9M
Day37-Reduction-Examples.pdf
29-May-2021 20:40
175K
Day37-Reduction-Examples.pptx
29-May-2021 20:40
2.0M
Day37-Reductions-NonSD.pptx
29-May-2021 20:40
2.0M
Day38-MoreReductionExamples.pdf
29-May-2021 20:40
634K
Day38-MoreReductionExamples.pptx
29-May-2021 20:40
2.1M
Day38-NonSD.pptx
29-May-2021 20:40
2.0M
Day38-Reduction.pptx
29-May-2021 20:40
2.5M
Day39-NonSD _NotABoutTMs.pptx
29-May-2021 20:40
1.9M
Day39-Reduction2.pptx
29-May-2021 20:40
2.3M
Day39_ComputationalComplexity.pdf
29-May-2021 20:40
439K
Day39_ComputationalComplexity.ppt
29-May-2021 20:40
3.6M
Day39_NonSD-CFLProblems.ppt
29-May-2021 20:40
3.2M
Day40-MoreNonSD _NotABoutTMs.pptx
29-May-2021 20:41
1.9M
Day40-Reduction3.pptx
29-May-2021 20:40
2.1M
Day40_P-NP.pdf
29-May-2021 20:40
498K
Day40_P-NP.ppt
29-May-2021 20:40
2.7M
Day40_PandNP.ppt
29-May-2021 20:40
3.2M
From 2014/
29-May-2021 20:41
-
Images/
29-May-2021 20:40
-
old-Day03-2012_MathReview.ppt
29-May-2021 20:40
631K
old-Day04-2012_DecisionProblems_SomeUnused.ppt
29-May-2021 20:41
451K
old-Day05-2012-LanguagesMachinesComputation.ppt
29-May-2021 20:41
698K
old-Day06-2012Computation_FSM.ppt
29-May-2021 20:40
960K
Apache/2.2.15 (CentOS) Server at www.rose-hulman.edu Port 80