Path: utzoo!utgpu!water!watmath!mks!tj From: tj@mks.UUCP (T. J. Thompson) Newsgroups: comp.unix.wizards Subject: Turing machine simulation (was Vi macros) Summary: Any realization of an abstract idea (or ideal) can be considered a simulation. Message-ID: <406@mks.UUCP> Date: 24 Feb 88 01:23:53 GMT References: <11893@brl-adm.ARPA> Organization: Mortice Kern Systems, Waterloo, Ont. Lines: 12 In article <11893@brl-adm.ARPA>, dsill@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