COSC 347 - Theory of Computation

Lecture Hour(s): 3
Lab Hour(s): 0
Credit Hour(s): 3

This course is the study of abstract computational automata, which constitute the formal foundation of computer science. The course starts with a review of mathematical preliminaries required for the rest of the course. The focus is on different models of computation such as finite automata, Turing machines, and grammars. Also, formal languages and undesirability are introduced.

Prerequisite(s): COSC 261 and MATH 250.