CPTR 437 - Formal Theory of Computation

Credits: 3
Study of the various classes of formal languages, their grammars, properties and recognizing machines. Turing machines. Computability.

Grade Mode: Normal (A-F,I,W)
Prerequisite(s): CPTR 245 or MATH 355, CPTR 152
Schedule Type: Lecture
Term Offering: Fall
College Code: CAS