CIS 301 - Theory of Computation

3 Credit(s)

Learning capabilities and limitations of computers using formal mathematical models of computation, and their relationships with formal languages. Core concepts are automata, regular and context-free languages, grammar, Turing machines, computability, decidability, and complexity.

Prerequisite(s): CIS 205 and CIS 300 with a minimum grade of 2.0.