[sci.logic] Turing's World vs. the ATMS

jack@cs.glasgow.ac.uk (Mr Jack Campin) (07/01/88)

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