The Turing machine
A Turing machine is a model of all computers. The hardware consists of a tape to write on and the head that does the writing depending on its internal state. The software is a set of rules that determine what to write and in which direction to move the head depending on the symbol written on the tape and the state of the head. This simple device enabled Turing to solve some deep problems in the foundation of mathematics. The action of the Turing machine is illustrated in the program accompanying the book with several simple but nontrivial examples.
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.