A study of the theoretical aspects of computer science in relation to programming languages. Topics includes regular languages, context-free languages, the Church-Turing thesis, decidability and reducibility.
Prerequisite Courses
Co-Requisite Courses
Semester Offered
