CSCI445 Formal Languages and Automata Theory (3 semester hours)

This course deals with the mathematical abstraction model of computation and its connection to formal languages. It is designed to introduce students to the theoretical development of computer science and provide conceptual tools used by practitioners in computer engineering. Students will understand how automata are used to describe computing machines and computation. (Prerequisite: CSCI340)