Models of Computation

The Von Neumann model is too informal and too complex to allow us to prove any properties about what computation is and what computation can and cannot do.

We need a simple, formal, sufficiently powerful model for computation.

The standard model is the Turing machine.

Modeling Algorithms

Algorithms solve problems


CS 4124: Theory of Computation


A Swedish View of Alan Turing

Other things that are attributed to Alan Turing:

Code Breaking During World War II

The Colossus "Computer"

The Turing test

The NPL ACE

CS1104 Main Page
Last Updated 01/05/2000
© L.Heath, 2000