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