You have reached the homepage for the Northeastern University, College of Computer and Information Science, Spring 2004 session of Theory of Computation, also known as "CSG714 04S." CSG714 is an graduate course on the theory of computation. This course covers formal models of languages and computation; topics include finite automata and regular languages, pushdown automata and context-free languages, Turing machines, computability, and complexity.
This document, and all documents on this website, may be modified from time to time; be sure to reload documents on occasion and check the "last modified" date against any printed version you may have.