2020-2021 Undergraduate Catalog

CPS 4501 FORMAL LANG & AUTOMATA THRY

Formal definitions of automata, including the finite automaton, the pushdown automaton, and the Turing Machine. Different types of formal languages and their relationships to automata. The Church-Turing Thesis and the notion of algorithm. Decidability and Solvability.

Credits

3

Prerequisite

CPS*3440