Index of /class/cs/csse474/201830/Slides

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[DIR]ClassNotes/17-May-2018 08:52 -  
[ ]Day01-FSM-Examples.pdf05-Mar-2018 12:46 296K 
[ ]Day01-FSM-Examples.ppt28-Feb-2018 16:40 3.5M 
[ ]Day01-induction-proof-writeup.pdf05-Mar-2018 06:02 186K 
[ ]Day02-CourseIntro_TheoryIntro.pdf06-Mar-2018 08:49 218K 
[ ]Day02-CourseIntro_TheoryIntro.ppt28-Feb-2018 16:40 507K 
[ ]Day03-Functions_Closures_DecisionProblems.pdf08-Mar-2018 08:49 233K 
[ ]Day03-Functions_Closures_DecisionProblems.ppt28-Feb-2018 16:40 543K 
[ ]Day03-Functions_Closures_DecisionProblems.pptx28-Feb-2018 16:41 1.1M 
[ ]Day04-FunctionsOnLanguages_DecisionProblems.pdf12-Mar-2018 07:42 364K 
[ ]Day04-FunctionsOnLanguages_DecisionProblems.pptx28-Feb-2018 16:40 536K 
[ ]Day05-DecisionProblems_DFSM.pdf13-Mar-2018 08:50 295K 
[ ]Day05-DecisionProblems_DFSM.ppt28-Feb-2018 16:40 1.8M 
[ ]Day06-NDFSM_to_DFSM_example.xlsx28-Feb-2018 16:40 71K 
[ ]Day06-NonDeterminism_NFSM.pdf13-Mar-2018 08:50 464K 
[ ]Day06-NonDeterminism_NFSM.ppt28-Feb-2018 16:41 1.8M 
[ ]Day07-DFSM_Minimization.pdf14-Mar-2018 17:11 195K 
[ ]Day07-DFSM_Minimization.ppt28-Feb-2018 16:40 1.4M 
[ ]Day07-NDFSM_to_DFSM_example_blank.xlsx28-Feb-2018 16:40 70K 
[ ]Day07-NDFSM_to_DFSM_example_solution.xlsx28-Feb-2018 16:40 88K 
[ ]Day08-Minimization2_Canonical.pdf19-Mar-2018 08:12 231K 
[ ]Day08-Minimization2_Canonical.pptx28-Feb-2018 16:40 287K 
[ ]Day09-CanonicalExampleForTransparency.docx28-Feb-2018 16:40 25K 
[ ]Day09-Canonical_NDFSMtoDFSMproof.pdf19-Mar-2018 08:12 389K 
[ ]Day09-Canonical_NDFSMtoDFSMproof.pptx28-Feb-2018 16:41 539K 
[ ]Day09-things to write on board.docx28-Feb-2018 16:40 14K 
[ ]Day09-withDetails-Canonical_NDFSMtoDFSMproof.pptx28-Feb-2018 16:40 251K 
[ ]Day10_Exam-no-slides.ppt28-Feb-2018 16:40 186K 
[ ]Day11_RegularExpressions.pdf22-Mar-2018 08:45 275K 
[ ]Day11_RegularExpressions.ppt28-Feb-2018 16:40 927K 
[ ]Day12_DFSM-to-RE.pdf23-Mar-2018 07:58 201K 
[ ]Day12_DFSM-to-RE.ppt28-Feb-2018 16:40 1.7M 
[ ]Day13_DFSM-to-RE-Example_Closure.pdf26-Mar-2018 16:53 271K 
[ ]Day13_DFSM-to-RE-Part2.pdf26-Mar-2018 05:38 271K 
[ ]Day13_DFSM-to-RE-Part2.ppt28-Feb-2018 16:40 1.2M 
[ ]Day14-Perl_REs-handout.docx28-Feb-2018 16:41 148K 
[DIR]Day14-Whiteboard-images/28-Feb-2018 16:40 -  
[ ]Day14_Closure-Pumping.pdf28-Mar-2018 05:55 323K 
[ ]Day14_Reverse-Practical.pptx28-Feb-2018 16:40 1.4M 
[ ]Day15_Closure_pumping.pdf28-Feb-2018 16:41 285K 
[ ]Day15_Closure_pumping.pptx28-Feb-2018 16:40 667K 
[ ]Day15_PumpingPractice_Decisions.pdf29-Mar-2018 08:00 244K 
[ ]Day16_Leftovers.pdf30-Mar-2018 08:41 158K 
[ ]Day16_Leftovers.ppt28-Feb-2018 16:40 1.9M 
[ ]Day16_Pumping.ppt28-Feb-2018 16:40 2.1M 
[ ]Day17_CFGIntro.pdf03-Apr-2018 08:44 275K 
[ ]Day17_DifficultyTimeline.xlsx28-Feb-2018 16:41 9.6K 
[ ]Day17_RegularOrNot-Closure-Decisions.ppt28-Feb-2018 16:40 524K 
[ ]Day17_RegularOrNot.ppt28-Feb-2018 16:40 585K 
[ ]Day18_CFG-Part2.pdf03-Apr-2018 08:44 303K 
[ ]Day18_DecisionProblems.ppt28-Feb-2018 16:40 645K 
[ ]Day18_Decision Procedure Practice.ppt28-Feb-2018 16:40 607K 
[ ]Day18_RegularOrNot-Closure-Decisions.ppt28-Feb-2018 16:41 561K 
[ ]Day19_CFG-intro.ppt28-Feb-2018 16:41 2.0M 
[ ]Day20_CFG_part2.pptx28-Feb-2018 16:40 14M 
[ ]Day20_Useless-Ambiguous.pdf19-Apr-2018 07:08 265K 
[ ]Day21_Structure_Ambiguity_Chomsky.pdf19-Apr-2018 07:08 194K 
[ ]Day22_Ambiguity_Normal_PDA-Intro.pdf19-Apr-2018 07:08 279K 
[ ]Day23_PDA-examples.pdf20-Apr-2018 08:43 390K 
[ ]Day24_Nondeterminism_Parsing.pdf20-Apr-2018 08:45 227K 
[ ]Day25_BottomUp-Pumping.pdf23-Apr-2018 13:58 313K 
[ ]Day26_BottomUp-Pumping.ppt28-Feb-2018 16:40 2.4M 
[ ]Day26_PumpingExamples.pdf24-Apr-2018 06:43 243K 
[ ]Day27-Closure_Decisions_TM.pdf26-Apr-2018 08:35 383K 
[ ]Day27_Pumping.ppt28-Feb-2018 16:40 2.0M 
[ ]Day28_CFL-Closure_Decisions-TM.pptx28-Feb-2018 16:40 2.9M 
[ ]Day28_CFL-Closure_Decisions_TM.pptx28-Feb-2018 16:40 2.8M 
[ ]Day28_TM-Def_Design_Macros.pdf27-Apr-2018 08:50 413K 
[ ]Day28_TM-Def_Design_Macros.pptx27-Apr-2018 08:50 2.7M 
[ ]Day29-Universal_ChurchTuring.ppt28-Feb-2018 16:40 3.4M 
[ ]Day29_Handout_MacroLanguage.pdf30-Apr-2018 08:56 82K 
[ ]Day29_TM-Macros.pdf30-Apr-2018 08:56 280K 
[ ]Day29_TM-Part2_Design_Macros.pptx28-Feb-2018 16:40 2.2M 
[ ]Day30_TM-Macros.pptx28-Feb-2018 16:40 2.0M 
[ ]Day31_Exam3Discussion_2TypesOfTMs.pdf07-May-2018 07:43 761K 
[ ]Day31_TM-Variations_UniversalTM.pdf03-May-2018 17:02 610K 
[ ]Day31_TM-Variations_UniversalTM.pptx28-Feb-2018 16:40 2.9M 
[ ]Day32-Hailstones-output.docx28-Feb-2018 16:40 625K 
[ ]Day32-UniversalTM_ChurchTuring.pptx28-Feb-2018 16:40 3.4M 
[ ]Day33_TM-Variations_UniversalTM.pdf07-May-2018 07:43 695K 
[ ]Day34_UniversalTM_Halting.pdf10-May-2018 08:48 318K 
[ ]Day35-Halting.pptx28-Feb-2018 16:40 2.2M 
[ ]Day35-Halting_DandSD.pdf10-May-2018 16:03 209K 
[ ]Day35-MoreReduction.pptx28-Feb-2018 16:40 2.4M 
[ ]Day35_whiteboard-photos.zip28-Feb-2018 16:40 6.1M 
[DIR]Day35_whiteboard photos/28-Feb-2018 16:41 -  
[ ]Day36-Enumerability-Reduction.pdf15-May-2018 08:17 163K 
[ ]Day36-Enumerability-Reduction.pptx28-Feb-2018 16:41 2.1M 
[ ]Day36-StillMoreReductions.pptx28-Feb-2018 16:40 1.9M 
[ ]Day37-Reduction-Examples.pdf15-May-2018 08:17 175K 
[ ]Day37-Reductions-NonSD.pptx28-Feb-2018 16:40 2.0M 
[ ]Day38-MoreReductionExamples.pdf15-May-2018 08:17 634K 
[ ]Day38-NonSD.pptx28-Feb-2018 16:40 2.0M 
[ ]Day38-Reduction.pptx28-Feb-2018 16:40 2.5M 
[ ]Day39-NonSD _NotABoutTMs.pptx28-Feb-2018 16:40 1.9M 
[ ]Day39-Reduction2.pptx28-Feb-2018 16:40 2.3M 
[ ]Day39_ComputationalComplexity.ppt28-Feb-2018 16:40 3.6M 
[ ]Day39_NonSD-CFLProblems.ppt28-Feb-2018 16:40 3.2M 
[ ]Day40-MoreNonSD _NotABoutTMs.pptx28-Feb-2018 16:40 1.9M 
[ ]Day40-Reduction3.pptx28-Feb-2018 16:41 2.1M 
[ ]Day40_P-NP.ppt28-Feb-2018 16:40 2.7M 
[ ]Day40_PandNP.ppt28-Feb-2018 16:41 3.2M 
[DIR]Images/28-Feb-2018 16:40 -  
[DIR]Old/28-Feb-2018 16:40 -  
[ ]aToTHePIsNotRegular(EquivalenceClasses)r.docx28-Feb-2018 16:40 12K 
[ ]old-Day03-2012_MathReview.ppt28-Feb-2018 16:40 631K 
[ ]old-Day04-2012_DecisionProblems_SomeUnused.ppt28-Feb-2018 16:40 451K 
[ ]old-Day05-2012-LanguagesMachinesComputation.ppt28-Feb-2018 16:40 698K 
[ ]old-Day06-2012Computation_FSM.ppt28-Feb-2018 16:40 960K 
Apache/2.2.15 (CentOS) Server at www.rose-hulman.edu Port 80