Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!nrl-cmf!cmcl2!brl-adm!adm!dsill@nswc-oas.arpa
From: dsill@nswc-oas.arpa (Dave Sill)
Newsgroups: comp.unix.wizards
Subject: Re: Turing machine simulation (was Vi macros)
Message-ID: <11986@brl-adm.ARPA>
Date: 25 Feb 88 16:38:48 GMT
Sender: news@brl-adm.ARPA
Lines: 26

T. J. Thompson <tj@mks.uucp> writes:
>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.

Perhaps I should have said "Turing machines are universal
computational devices, but simulations of Turing machines are not
*necessarily* universal computational devices.

My point was that a vi-based TM simulation is not a universal
computer.

This is no longer a wizards issue.

=========
The opinions expressed above are mine.

"[Programmers who prefer to drive a shift car are not] positioned to
design interactive systems."
					-- Ted Nelson (quoted from Byte)

[But Ted, don't forget that there are customers who *prefer* manual
transmissions...]