![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Decidability-Results.pdf | 23-Mar-2006 10:12 | 104K | |
| Deciders-vs-Recognizers.pdf | 03-Mar-2006 15:51 | 47K | |
| Decision-Problems.pdf | 17-Mar-2006 17:38 | 77K | |
| FA-Formal-Definitions.pdf | 16-Feb-2006 16:21 | 56K | |
| NP-Completeness.pdf | 12-Apr-2006 16:19 | 192K | |
| NP-Examples.pdf | 12-Apr-2006 16:19 | 134K | |
| P-Examples.pdf | 17-Mar-2006 18:04 | 71K | |
| P-and-NP.pdf | 17-Mar-2006 18:04 | 117K | |
| Pumping-Lemma-CFLs.pdf | 28-Feb-2006 13:18 | 38K | |
| Pumping-Lemma-Reg-Langs.pdf | 27-Jan-2006 16:51 | 36K | |
| Pushdown-Automata.pdf | 16-Feb-2006 19:44 | 114K | |
| SchemeMappingReductionDemos/ | 28-Mar-2006 17:27 | - | |
| TM-Examples.pdf | 01-Nov-2005 15:40 | 94K | |
| TM-Variants.pdf | 27-Feb-2006 18:12 | 77K | |
| Time-Complexity.pdf | 17-Mar-2006 17:59 | 98K | |
| Undecidability-Results.pdf | 31-Mar-2006 15:25 | 169K | |