CP 414

Foundations of Computing

Lec A selected

Deterministic and nondeterministic finite automata (DFAs and NFAs), regular expressions, context-free grammars, relationship of push-down automata and context-free grammars, definition of the classes P and NP, NP-completeness (Cook's theorem), standard NP-complete problems, reduction techniques, Turing machines. The halting problem. <br>

Sections

Lecture, pick one

Syllabus

Have the syllabus for CP 414? Share it and everyone gets the grading, textbooks and rules.