Models of Computation

An Introduction to Computability Theory

Authors:

ISBN: 978-1-84882-433-1 (Print) 978-1-84882-434-8 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XI

  2. Introduction

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 1-7

      Introduction

  3. Traditional Models of Computation

    1. Front Matter

      Pages 9-9

    2. No Access

      Book Chapter

      Pages 11-32

      Automata and Turing Machines

    3. No Access

      Book Chapter

      Pages 33-53

      The Lambda Calculus

    4. No Access

      Book Chapter

      Pages 55-68

      Recursive Functions

    5. No Access

      Book Chapter

      Pages 69-89

      Logic-Based Models of Computation

  4. Modern Models of Computation

    1. Front Matter

      Pages 91-91

    2. No Access

      Book Chapter

      Pages 93-105

      Computing with Objects

    3. No Access

      Book Chapter

      Pages 107-130

      Interaction-Based Models of Computation

    4. No Access

      Book Chapter

      Pages 131-149

      Concurrency

    5. No Access

      Book Chapter

      Pages 151-157

      Emergent Models of Computation

    6. No Access

      Book Chapter

      Pages 159-178

      Answers to Selected Exercises

  5. Back Matter

    Pages 179-184