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.
Semester Offered
CS 360: Theory of Computation
Program
