![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[DIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | 17 OnToInterfaces.pdf | 28-Feb-2018 16:40 | 847K | |
| 25 StrategyPatternAndSearch-Curt.pdf | 28-Feb-2018 16:40 | 669K | |
| Day01-CourseIntro_TheoryIntro.pdf | 28-Feb-2018 16:40 | 345K | |
| Day01-slidesNotes.pdf | 28-Feb-2018 16:40 | 333K | |
| Day02-MathReview_Languages.pdf | 28-Feb-2018 16:40 | 254K | |
| Day02-slidesNotes.pdf | 28-Feb-2018 16:40 | 27K | |
| Day03-MathReview.pdf | 28-Feb-2018 16:40 | 304K | |
| Day03-slidesNotes.pdf | 28-Feb-2018 16:40 | 49K | |
| Day04-DecisionProblems.pdf | 28-Feb-2018 16:40 | 256K | |
| Day04-slidesNotes.pdf | 28-Feb-2018 16:40 | 30K | |
| Day05-LanguagesMachinesComputation.pdf | 28-Feb-2018 16:40 | 364K | |
| Day05-slidesNotes.pdf | 28-Feb-2018 16:40 | 33K | |
| Day06-Computation_FSM.pdf | 28-Feb-2018 16:40 | 553K | |
| Day06-slidesNotes.pdf | 28-Feb-2018 16:40 | 55K | |
| Day07-FSM_Examples_NFSM.pdf | 28-Feb-2018 16:40 | 1.0M | |
| Day07-slidesNotes.pdf | 28-Feb-2018 16:40 | 53K | |
| Day08-NDFSM_to_DFSM.pdf | 28-Feb-2018 16:40 | 936K | |
| Day08-slidesNotes.pdf | 28-Feb-2018 16:40 | 41K | |
| Day09-MinimalDFA.pdf | 28-Feb-2018 16:40 | 409K | |
| Day10-slidesNotes.pdf | 28-Feb-2018 16:40 | 37K | |
| Day10_Finish_NDFSM_to_DFSM_Proof.pdf | 28-Feb-2018 16:40 | 438K | |
| Day11-slidesNotes.pdf | 28-Feb-2018 16:40 | 30K | |
| Day11_RegularExpressions.pdf | 28-Feb-2018 16:40 | 454K | |
| Day13-slidesNotes.pdf | 28-Feb-2018 16:40 | 39K | |
| Day13_Kleene'sTheorem.pdf | 28-Feb-2018 16:40 | 594K | |
| Day14-slidesNotes.pdf | 28-Feb-2018 16:40 | 310K | |
| Day14_Closure_PumpingTheorem.pdf | 28-Feb-2018 16:40 | 359K | |
| Day15-slidesNotes.pdf | 28-Feb-2018 16:40 | 44K | |
| Day15_RegularOrNot.pdf | 28-Feb-2018 16:40 | 418K | |
| Day17-slidesNotes.pdf | 28-Feb-2018 16:40 | 59K | |
| Day17_DecisionProcedures.pdf | 28-Feb-2018 16:40 | 262K | |
| Day18_Decisions-CFG.pdf | 28-Feb-2018 16:40 | 279K | |
| Day19_CFG.pdf | 28-Feb-2018 16:40 | 326K | |
| Day20_Structure_ambiguity.pdf | 28-Feb-2018 16:40 | 365K | |
| Day21_Ambiguity_Chomsky_PDA.pdf | 28-Feb-2018 16:40 | 516K | |
| Day22_PDAExamples.pdf | 28-Feb-2018 16:40 | 729K | |
| Day22_PDA_CFG.pdf | 28-Feb-2018 16:40 | 689K | |
| Day23_CFGPumpingTheorem.pdf | 28-Feb-2018 16:40 | 480K | |
| Day25_PDA-CFG.pdf | 28-Feb-2018 16:40 | 430K | |
| Day26TopDown-Closure-Decisions.pdf | 28-Feb-2018 16:40 | 635K | |
| Day27-TuringMachines.pdf | 28-Feb-2018 16:40 | 358K | |
| Day28-TM_Notation_Extensions.pdf | 28-Feb-2018 16:40 | 1.1M | |
| Day29-Universal_ChurchTuring.pdf | 28-Feb-2018 16:40 | 478K | |
| Day30-DoesItHalt.pdf | 28-Feb-2018 16:40 | 424K | |
| Day32-Reduction.pdf | 28-Feb-2018 16:40 | 351K | |
| Day33-MoreReduction.pdf | 28-Feb-2018 16:40 | 282K | |
| Day37-StillMoreReduction.pdf | 28-Feb-2018 16:40 | 364K | |
| Day38-ReductionsAbound.pdf | 28-Feb-2018 16:40 | 277K | |
| Day39_ComputationalComplexity.pdf | 28-Feb-2018 16:40 | 527K | |
| Day40_PandNP.pdf | 28-Feb-2018 16:40 | 646K | |
| Quiz02.pdf | 28-Feb-2018 16:40 | 77K | |
| hw11.pdf | 28-Feb-2018 16:40 | 11K | |
|
|---|