Theory of Computation

Undergraduate module, University of York, 2008

Second year undergraduate module taught in 2008, introducing formal languages and automata theory, time and space complexity, computability and decidability.