![[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 | 21-Nov-2006 15:46 | 104K | |
| Deciders-vs-Recognizers.pdf | 12-Oct-2006 10:58 | 47K | |
| Decision-Problems.pdf | 16-Nov-2006 17:02 | 78K | |
| FA-Formal-Definitions.pdf | 16-Feb-2006 16:21 | 56K | |
| GNFA-Formal-Definition.pdf | 18-Sep-2006 13:56 | 55K | |
| NP-Completeness.pdf | 24-Jul-2006 14:13 | 165K | |
| NP-Examples.pdf | 24-Jul-2006 14:12 | 131K | |
| P-Examples.pdf | 28-Nov-2006 09:44 | 71K | |
| P-and-NP.pdf | 17-Mar-2006 18:04 | 117K | |
| Pumping-Lemma-CFLs.pdf | 28-Sep-2006 12:32 | 39K | |
| Pumping-Lemma-Reg-Langs.pdf | 29-Sep-2006 17:29 | 37K | |
| Pushdown-Automata.pdf | 16-Feb-2006 19:44 | 114K | |
| SchemeDemos/ | 20-Nov-2006 11:36 | - | |
| TM-Examples.pdf | 26-Oct-2006 15:11 | 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 | |