COSC 460 - Theory of Computation

Class Hours: 3
Lab/Discussion: 0
Credits: 3

Prerequisite: COSC 310 or instructor permission
Formal methods for describing and analyzing programming languages and algorithms. Covers Backus-Naur forms, productions, regular expressions, introduction to automata theory, Turing machines, and recent concepts in algorithm theory computability.