CS 4810 - Introduction to Theory of Computing

Spring. 3 credits.

Prerequisites: CS 2800 or permission of instructor.

Staff.

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