Turing machine simulation (was Vi macros)

T. J. Thompson tj at mks.UUCP
Wed Feb 24 11:23:53 AEST 1988


In article <11893 at brl-adm.ARPA>, dsill at nswc-oas.arpa (Dave Sill) writes:
> Turing machines are universal computational devices, but simulations
> of Turing Machines are not.

I would be curious to see a defence of this claim.
Consider, for example, a simulation of a Turing machine
run on a Turing machine.
-- 
     ll  // // ,'/~~\'   T. J. Thompson              uunet!watmath!mks!tj
    /ll/// //l' `\\\     Mortice Kern Systems Inc.         (519) 884-2251
   / l //_// ll\___/     35 King St. N., Waterloo, Ont., Can. N2J 2W9
O_/                                Do not void where prohibited



More information about the Comp.unix.wizards mailing list