Automata theory; formal languages; Turing machines; computability theory; reducibility, computational complexity, determinism, NP completeness, selected advanced topics. http://tmoodle.fccollege.edu.pk/moodle/course/edit.php?id=11668
- Teacher: Sharoon Nasim