The abstract branch of theoretical computer science that we shall call “computation
theory” typically appears in undergraduate academic curricula in a form that obscures
both the mathematical concepts that are central to the various components of the
theory and the relevance of the theory to the typical student. This regrettable situation
is due largely to the thematic tension among three main competing principles for
organizing the material in the course.