3 unit(s) Formal languages, models of computation, decidability, reduction techniques, time and space complexity classes.
Three lectures, one tutorial (one hour); one term Prerequisite(s):COMPSCI 2FA3, 2C03 Antirequisite(s):SFWRENG 4TH3 Cross-list(s):SFWRENG 4TH3 Offered on an irregular basis.