Turing's World

Description: Turing's World provides an introduction to Turing machines, one of the fundamental notions of logic and computer science. The combined text and software package allow the user to design, debug, and run sophisticated Turing Machines in a graphical environment. Key concepts in computability theory are covered such as the Halting problem, the Busy Beaver function, recursive functions, and indecidability. The student is allowed to construct one-way and two-way finite state machines (finite automata) as well as nondeterministic Turing and finite-state machines.

Requirements: Apple Macintosh running System 6.0 or above.

Further information: from the Centre for the Study of Language and Information web page at http://www-csli.stanford.edu/hp/index.html

Distributor: Customer Services Department (Direct), Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK. Tel.: +44 (1223) 325588 Fax: +44 (1223) 325152 Email: directcustserve@cup.cam.ac.uk

Price: £16.95 + VAT (single-user licence).

Version available at CTI Centre: None.

[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]

Guide to Digital Resources 1996-98. Not to be republished in any form without the permission of CTI Textual Studies.

HTML Author: Sarah Porter
Document Created: 20 March 1997
Document Modified:

The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/t170.html