Index of /class/csse/csse474/202030/Slides

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[TXT]AA_ReadMe.txt04-Mar-2020 05:54 245  
[DIR]ClassNotes/11-Mar-2020 16:36 -  
[ ]Day01-FSM-Examples.pdf09-Mar-2020 08:12 388K 
[ ]Day01-FSM-Examples.ppt04-Mar-2020 05:45 3.5M 
[ ]Day01-induction-proof-writeup.pdf04-Mar-2020 05:45 186K 
[ ]Day02-CourseIntro_TheoryIntro.pdf10-Mar-2020 15:00 230K 
[ ]Day02-CourseIntro_TheoryIntro.ppt10-Mar-2020 10:54 509K 
[ ]Day03-Functions_Closures_DecisionProblems.pdf16-Mar-2020 11:10 230K 
[ ]Day03-Functions_Closures_DecisionProblems.ppt12-Mar-2020 20:49 507K 
[ ]Day03-Functions_Closures_DecisionProblems.pptx04-Mar-2020 05:45 1.1M 
[ ]Day04-FunctionsOnLanguages_DecisionProblems.pdf04-Mar-2020 05:45 364K 
[ ]Day04-FunctionsOnLanguages_DecisionProblems.pptx04-Mar-2020 05:45 536K 
[ ]Day05-DecisionProblems_DFSM.pdf04-Mar-2020 05:45 295K 
[ ]Day05-DecisionProblems_DFSM.ppt22-Mar-2020 20:24 1.8M 
[ ]Day06-NDFSM_to_DFSM_example.pdf04-Mar-2020 05:45 100K 
[ ]Day06-NDFSM_to_DFSM_example.xlsx04-Mar-2020 05:45 71K 
[ ]Day06-NonDeterminism_NFSM.pdf04-Mar-2020 05:45 464K 
[ ]Day06-NonDeterminism_NFSM.ppt22-Mar-2020 20:24 1.8M 
[ ]Day07-DFSM_Minimization.pdf04-Mar-2020 05:45 195K 
[ ]Day07-DFSM_Minimization.ppt04-Mar-2020 05:45 1.4M 
[ ]Day07-NDFSM_to_DFSM_example_blank.xlsx04-Mar-2020 05:45 70K 
[ ]Day07-NDFSM_to_DFSM_example_solution.xlsx04-Mar-2020 05:45 88K 
[ ]Day08-Minimization2_Canonical.pdf04-Mar-2020 05:45 231K 
[ ]Day08-Minimization2_Canonical.pptx04-Mar-2020 05:45 287K 
[ ]Day09-CanonicalExampleForTransparency.docx04-Mar-2020 05:45 25K 
[ ]Day09-Canonical_NDFSMtoDFSMproof.pdf04-Mar-2020 05:45 389K 
[ ]Day09-Canonical_NDFSMtoDFSMproof.pptx04-Mar-2020 05:45 539K 
[ ]Day09-things to write on board.docx04-Mar-2020 05:45 14K 
[ ]Day09-withDetails-Canonical_NDFSMtoDFSMproof.pptx04-Mar-2020 05:45 251K 
[ ]Day10_Exam-no-slides.ppt04-Mar-2020 05:45 186K 
[ ]Day11_RegularExpressions.pdf04-Mar-2020 05:45 275K 
[ ]Day11_RegularExpressions.ppt04-Mar-2020 05:45 927K 
[ ]Day12_DFSM-to-RE.pdf04-Mar-2020 05:45 201K 
[ ]Day12_DFSM-to-RE.ppt04-Mar-2020 05:45 1.7M 
[ ]Day13_DFSM-to-RE-Example_Closure.pdf04-Mar-2020 05:45 271K 
[ ]Day13_DFSM-to-RE-Part2.pdf04-Mar-2020 05:45 271K 
[ ]Day13_DFSM-to-RE-Part2.ppt04-Mar-2020 05:45 1.2M 
[ ]Day14-Perl_REs-handout.docx04-Mar-2020 05:45 148K 
[ ]Day14-Perl_REs-handout.pdf04-Mar-2020 05:45 174K 
[DIR]Day14-Whiteboard-images/04-Mar-2020 05:45 -  
[ ]Day14_Closure-Pumping.pdf04-Mar-2020 05:45 323K 
[ ]Day14_Reverse-Practical.pptx04-Mar-2020 05:45 1.4M 
[ ]Day15_Closure_pumping.pdf04-Mar-2020 05:45 285K 
[ ]Day15_Closure_pumping.pptx04-Mar-2020 05:45 667K 
[ ]Day15_PumpingPractice_Decisions.pdf04-Mar-2020 05:45 244K 
[ ]Day16_Leftovers.pdf04-Mar-2020 05:45 158K 
[ ]Day16_Leftovers.ppt04-Mar-2020 05:45 1.9M 
[ ]Day16_Pumping.ppt04-Mar-2020 05:45 2.1M 
[ ]Day17_CFGIntro.pdf04-Mar-2020 05:45 275K 
[ ]Day17_DifficultyTimeline.xlsx04-Mar-2020 05:45 9.6K 
[ ]Day17_RegularOrNot-Closure-Decisions.ppt04-Mar-2020 05:45 524K 
[ ]Day17_RegularOrNot.ppt04-Mar-2020 05:45 585K 
[ ]Day18_CFG-Part2.pdf04-Mar-2020 05:45 303K 
[ ]Day18_DecisionProblems.ppt04-Mar-2020 05:45 645K 
[ ]Day18_Decision Procedure Practice.ppt04-Mar-2020 05:45 607K 
[ ]Day18_RegularOrNot-Closure-Decisions.ppt04-Mar-2020 05:45 561K 
[ ]Day19_CFG-intro.ppt04-Mar-2020 05:45 2.0M 
[ ]Day20_CFG_part2.pptx04-Mar-2020 05:45 14M 
[ ]Day20_Useless-Ambiguous.pdf04-Mar-2020 05:45 265K 
[ ]Day20_Useless-Ambiguous.pptx04-Mar-2020 05:45 14M 
[ ]Day21_Structure_Ambiguity_Chomsky.pdf04-Mar-2020 05:45 194K 
[ ]Day21_Structure_Ambiguity_Chomsky.ppt04-Mar-2020 05:45 2.6M 
[ ]Day22_Ambiguity_Normal_PDA-Intro.pdf04-Mar-2020 05:45 279K 
[ ]Day22_Ambiguity_Normal_PDA-Intro.ppt04-Mar-2020 05:45 2.3M 
[ ]Day23_PDA-examples.pdf04-Mar-2020 05:45 390K 
[ ]Day23_PDA-examples.ppt04-Mar-2020 05:45 2.5M 
[ ]Day24_Nondeterminism_Parsing.pdf04-Mar-2020 05:45 227K 
[ ]Day24_Nondeterminism_Parsing.ppt04-Mar-2020 05:45 2.4M 
[ ]Day25_BottomUp-Pumping.pdf04-Mar-2020 05:45 313K 
[ ]Day25_BottomUp-Pumping.ppt04-Mar-2020 05:45 2.5M 
[ ]Day26_PumpingExamples.pdf04-Mar-2020 05:45 243K 
[ ]Day26_PumpingExamples.ppt04-Mar-2020 05:45 2.2M 
[ ]Day27-Closure_Decisions_TM.pdf04-Mar-2020 05:45 383K 
[ ]Day27-Closure_Decisions_TM.pptx04-Mar-2020 05:45 2.5M 
[ ]Day28_TM-Def_Design_Macros.pdf04-Mar-2020 05:45 413K 
[ ]Day28_TM-Def_Design_Macros.pptx04-Mar-2020 05:45 2.7M 
[ ]Day29-Universal_ChurchTuring.ppt04-Mar-2020 05:45 3.4M 
[ ]Day29_Handout_MacroLanguage.pdf04-Mar-2020 05:45 82K 
[ ]Day29_TM-Macros.pdf04-Mar-2020 05:45 280K 
[ ]Day29_TM-Macros.pptx04-Mar-2020 05:45 2.2M 
[ ]Day29_TM-Part2_Design_Macros.pptx04-Mar-2020 05:45 2.2M 
[ ]Day30_TM-Macros.pptx04-Mar-2020 05:45 2.0M 
[ ]Day31_Exam3Discussion_2TypesOfTMs.pdf04-Mar-2020 05:45 761K 
[ ]Day31_Exam3Discussion_2TypesOfTMs.pptx04-Mar-2020 05:45 2.9M 
[ ]Day31_TM-Variations_UniversalTM.pdf04-Mar-2020 05:45 610K 
[ ]Day31_TM-Variations_UniversalTM.pptx04-Mar-2020 05:45 2.9M 
[ ]Day32-Hailstones-output.docx04-Mar-2020 05:45 625K 
[ ]Day32-UniversalTM_ChurchTuring.pptx04-Mar-2020 05:45 3.4M 
[ ]Day33_TM-Variations_UniversalTM.pdf04-Mar-2020 05:45 695K 
[ ]Day33_TM-Variations_UniversalTM.pptx04-Mar-2020 05:45 4.0M 
[ ]Day34_UniversalTM_Halting.pdf04-Mar-2020 05:45 318K 
[ ]Day34_UniversalTM_Halting.pptx04-Mar-2020 05:45 3.1M 
[ ]Day35-Halting.pptx04-Mar-2020 05:45 2.2M 
[ ]Day35-Halting_DandSD.pdf04-Mar-2020 05:45 209K 
[ ]Day35-Halting_DandSD.pptx04-Mar-2020 05:45 2.1M 
[ ]Day35-MoreReduction.pptx04-Mar-2020 05:45 2.4M 
[ ]Day35_whiteboard-photos.zip04-Mar-2020 05:45 6.1M 
[DIR]Day35_whiteboard photos/04-Mar-2020 05:45 -  
[ ]Day36-Enumerability-Reduction.pdf04-Mar-2020 05:45 163K 
[ ]Day36-Enumerability-Reduction.pptx04-Mar-2020 05:45 2.0M 
[ ]Day36-StillMoreReductions.pptx04-Mar-2020 05:45 1.9M 
[ ]Day37-Reduction-Examples.pdf04-Mar-2020 05:45 175K 
[ ]Day37-Reduction-Examples.pptx04-Mar-2020 05:45 2.0M 
[ ]Day37-Reductions-NonSD.pptx04-Mar-2020 05:45 2.0M 
[ ]Day38-MoreReductionExamples.pdf04-Mar-2020 05:45 634K 
[ ]Day38-MoreReductionExamples.pptx04-Mar-2020 05:45 2.1M 
[ ]Day38-NonSD.pptx04-Mar-2020 05:45 2.0M 
[ ]Day38-Reduction.pptx04-Mar-2020 05:45 2.5M 
[ ]Day39-NonSD _NotABoutTMs.pptx04-Mar-2020 05:45 1.9M 
[ ]Day39-Reduction2.pptx04-Mar-2020 05:45 2.3M 
[ ]Day39_ComputationalComplexity.pdf04-Mar-2020 05:45 439K 
[ ]Day39_ComputationalComplexity.ppt04-Mar-2020 05:45 3.6M 
[ ]Day39_NonSD-CFLProblems.ppt04-Mar-2020 05:45 3.2M 
[ ]Day40-MoreNonSD _NotABoutTMs.pptx04-Mar-2020 05:45 1.9M 
[ ]Day40-Reduction3.pptx04-Mar-2020 05:45 2.1M 
[ ]Day40_P-NP.pdf04-Mar-2020 05:45 498K 
[ ]Day40_P-NP.ppt04-Mar-2020 05:45 2.7M 
[ ]Day40_PandNP.ppt04-Mar-2020 05:45 3.2M 
[DIR]From 2014/09-Mar-2020 08:12 -  
[DIR]Images/04-Mar-2020 05:45 -  
[ ]old-Day03-2012_MathReview.ppt04-Mar-2020 05:45 631K 
[ ]old-Day04-2012_DecisionProblems_SomeUnused.ppt04-Mar-2020 05:45 451K 
[ ]old-Day05-2012-LanguagesMachinesComputation.ppt04-Mar-2020 05:45 698K 
[ ]old-Day06-2012Computation_FSM.ppt04-Mar-2020 05:45 960K 
Apache/2.2.15 (CentOS) Server at www.rose-hulman.edu Port 80