Slides for CS154, Winter Quarter 2000
Lecture Notes
Lecture 1:
Preliminaries
.
Lecture 2:
Finite automata and regular expressions
.
Lecture 3:
Finite automata with e-transitions, equivalence of FA and REs
.
Lecture 4:
Laws for REs, pumping lemma and closure properties for regular languages
.
Lecture 5:
Decision problems for regular languages
.
Lecture 6:
Context-free languages
.
Lecture 7:
Push-down automata
.
Lecture 8:
Equivalence of CFGs and PDAs
.
Lecture 9:
CFG simplification and pumping lemma for CFLs
.
Lecture 10:
Closure properties and decision problems for CFLs
.
Lecture 11:
Turing machines
.
Lecture 12:
Turing machine programming and variations
.
Lecture 13:
Recursive and recursively-enumerable languages and undecidability
.
Lecture 14:
Post's correspondence problem and other undecidable problems
.
Lecture 15:
P, NP and NP-completeness
.
Lecture 16:
NO-complete problems and other complexity classes
.