Article View: sci.logic
Article #684Turing's World vs. the ATMS
From: Mr Jack Campin
Date: Fri, 01 Jul 1988 15:17
Date: Fri, 01 Jul 1988 15:17
13 lines
1132 bytes
1132 bytes
Yesterday's "Guardian" had an enthusiastic review of a new Turing machine
simulator by John Barwise and John Etchemendy, called "Turing's World". As
usual, the review was not very informative about what the thing actually did.
How does TW compare with the (Australian and rather more expensive) ATMS
(A Turing Machine Simulator)? I have played around with a demo version of
ATMS and was mightily impressed. Is Turing's World even better? What are
the differences between them?
--
ARPA: jack%cs.glasgow.ac.uk@nss.cs.ucl.ac.uk USENET: jack@cs.glasgow.uucp
JANET:jack@uk.ac.glasgow.cs useBANGnet: ...mcvax!ukc!cs.glasgow.ac.uk!jack
Mail: Jack Campin, Computing Science Dept., Glasgow Univ., 17 Lilybank Gardens,
Glasgow G12 8QQ, SCOTLAND work 041 339 8855 x 6045; home 041 556 1878
Technical Details
Message-ID:
<1460@crete.cs.glasgow.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!ukc!strath-cs!glasgow!jackShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!ukc!strath-cs!glasgow!jack From: jack@cs.glasgow.ac.uk (Mr Jack Campin) Newsgroups: sci.logic,comp.sys.mac Subject: Turing's World vs. the ATMS Message-ID: <1460@crete.cs.glasgow.ac.uk> Date: 1 Jul 88 15:17:17 GMT Organization: Computing Sci, Glasgow Univ, Scotland Lines: 13