CSC 545 - INTRODUCTION TO THEORY OF COMPUTATION

3credit hour(s)

Description Introduction to a series of models for computation and their relationship to formal languages 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. Laboratory component

Prerequisites and Corequisites
Prerequisite: CSC 350 - Algorithms and Data Structures, or permission of the instructor.

Check Course Availability