CS 6160

Theory of Computation

Add to Schedule

Course Description

Prerequisites

CS 3102 or equivalent

Analyzes formal languages, the Chomsky hierarchy, formal computation and machine models, finite automata, pushdown automata, Turing machines, Church's thesis, reductions, decidability and undecidability, and NP-completeness.

Instructors

Spring 2027 Last 5 Years

No instructors this semester

This course isn't being taught this semester. Try viewing the last 5 years.