Search Results

COSC 340. Theory of Computation. 3 Hours.

A study of formal models of computation such as finite state automata, push-down automata, and Turing machines, along with the corresponding elements of formal languages. These models are used to provide a mathematical basis for the study of computability and to provide an introduction to the formal theory behind compiler construction.

Prerequisite: COSC 350 with a minimum grade of C and MATH 181 with a minimum grade of D and MATH 235 with a minimum grade of D.