CS 4810 - Introduction to Theory of Computing

Fall. 3 credits. Student option grading.

Prerequisite: CS 2800 or permission of instructor.

Staff.

Introduction to the modern theory of computing: automata theory, formal languages, and effective computability.