CS 301-001 Theory of Computing - Fall Semester 2023

Abstract basis of computing machines and languages; introduction to formal languages, finite automata, grammars, turing machines, and complexity theory. Prerequisites: CS 143 and CS 150M.