![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Undecidability-Resul..> | 2006-03-31 15:25 | 169K | |
| Time-Complexity.pdf | 2006-03-17 17:59 | 98K | |
| TM-Variants.pdf | 2006-02-27 18:12 | 77K | |
| TM-Examples.pdf | 2006-10-26 15:11 | 94K | |
| SchemeDemos/ | 2006-11-20 11:36 | - | |
| Pushdown-Automata.pdf | 2006-02-16 19:44 | 114K | |
| Pumping-Lemma-Reg-La..> | 2006-09-29 17:29 | 37K | |
| Pumping-Lemma-CFLs.pdf | 2006-09-28 12:32 | 39K | |
| P-and-NP.pdf | 2006-03-17 18:04 | 117K | |
| P-Examples.pdf | 2006-11-28 09:44 | 71K | |
| NP-Examples.pdf | 2006-07-24 14:12 | 131K | |
| NP-Completeness.pdf | 2006-07-24 14:13 | 165K | |
| GNFA-Formal-Definiti..> | 2006-09-18 13:56 | 55K | |
| FA-Formal-Definition..> | 2006-02-16 16:21 | 56K | |
| Decision-Problems.pdf | 2006-11-16 17:02 | 78K | |
| Deciders-vs-Recogniz..> | 2006-10-12 10:58 | 47K | |
| Decidability-Results..> | 2006-11-21 15:46 | 104K | |