May 01, 2026  
Catalog 2026-2027 
    
Catalog 2026-2027

CST 575 - Theory of Computation


This course introduces the fundamental theoretical foundations of computer science, with a focus on formal languages, automata theory, and computability. Students will explore regular languages, context-free languages, and Turing machines, along with the concepts of decidability and undecidability.



Typically Offered: Spring term only

Units: 2