A Recursive Introduction to the Theory of Computation (Texts in Computer Science) by Carl Smith
English | Oct. 14, 1994 | ISBN: 0387943323 | 148 Pages | PDF | 2.26 MB
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms.