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