Computation Theory is the study of the fundamental principles underly-ing computation and the analysis of algorithms. It’s often split into three parts: automata, computability, and complexity.

The notions of input and output are the most basic concepts of computation: computation is – for the moment – the process of deriving the desired output from a given input(s).

The definition of computation as an execution sequence of a computing machine under the direction of an algorithm that halts is clearly too limited. We need to rethink computation to …

This course is on the Theory of Computation, which tries to answer the following questions: What are the mathematical properties of computer hardware and soft-ware? What is a computation …

The Theory of Computation is the study of the formal foundations of computer science and technology. This dynamic and rapidly expanding eld straddles mathematics and computer …

The purpose of these notes is to introduce some of the basic notions of the theory of computation, including concepts from formal languages and automata theory, the theory of computability, …

By reading excerpts of the original papers by Turing and Karp, we understand the chaotic intellectual landscape they faced—a landscape vastly different to today’s smoothly manicured, …