|CTI Textual Studies||
Guide to Digital Resources 1996-98
|Table of Contents|
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: firstname.lastname@example.org
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
The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/t170.html