CS U390 Summary Reading -- Fall 2007
Concise summaries of the most important definitions
and theorems. (Used with permission from previous course instructors.)
FA-Formal-Definitions.pdf
GNFA-Formal-Definition.pdf
Pumping-Lemma-Reg-Langs.pdf
Exam-1-Guide from the Fall
2006. The exam will be held during the class on October 10th.
Pushdown-Automata.pdf
Pumping-Lemma-CFLs.pdf
TM-Examples.pdf
TM-Variants.pdf
Deciders-vs-Recognizers.pdf
Decidability-Results.pdf
Undecidability-Results.pdf
Decision-Problems.pdf
P-Examples.pdf
NP-Examples.pdf
NP-Completeness.pdf
Last modified: Thu Nov 29 14:28:38 EST 2007