Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site unmvax.UUCP
Path: utzoo!linus!philabs!cmcl2!lanl!unmvax!cliff
From: cliff@unmvax.UUCP
Newsgroups: net.arch
Subject: Re: RMS v/s UNIX (non-religious) -- fun with TM
Message-ID: <731@unmvax.UUCP>
Date: Sat, 9-Mar-85 05:49:23 EST
Article-I.D.: unmvax.731
Posted: Sat Mar  9 05:49:23 1985
Date-Received: Tue, 12-Mar-85 07:03:52 EST
References: <23048@lanl.ARPA>
Organization: Univ. of New Mexico, Albuquerque
Lines: 13

> Someone made the claim that there are some issues pertaining to locks that
> UNIX could not do at all even with libraries.  This is clearly not true
> since VAX-UNIX can simulate a general Turing machine and can therefore
> perform ANY computable function.

Clear as mud...VAX-UNIX can't even simulate all finite automata, much less
a turing machine.  Does anyone out there have a machine that *can* simulate
a turing machine?  I want to put one next to my perpetual motion machine :-).

	--Cliff [Matthews]
	{purdue, cmcl2, ihnp4}!lanl!unmvax!cliff
	{csu-cs, pur-ee, convex, gatech, ucbvax}!unmvax!cliff
	4744 Trumbull S.E. - Albuquerque  NM  87108 - (505) 265-9143