CSC 445 Introduction to Theory of Computation

Credits: 3

Introduction to a series of models for computation and their relationship to formal languages that are useful in the definition of programming languages along with a look at the theoretical limits of computers. Topics include finite and pushdown automata, Turing machines, grammars, decidability and computational complexity.

Prerequisites: CSC 215 and CSC 251
Notes: This course is cross-listed with CSC 545.

Check course scheduling information