Boost logo

Boost :

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-02-22 21:26:13

Jonathan Turkanis wrote:
> Larry Evans wrote:
>> On 02/22/2005 05:03 AM, Alex Vinokur wrote:
>>> Is there any interest in a library which simulates a
>>> deterministic/nondeterminisatic multitape Turing machine?
>> I would have if I were still in school; however, I'm guessing
>> that there wouldn't be much interest in this group in something so
>> "theoretical". Just my $.02 worth :)
> I agree. The only use would be as a tutorial, which is not a bad
> idea, but I believe Jon Barwise and John Etchemendy have already done
> it:

On second thought, this looks pretty old. I didn't even realize that Jon Barwise
had died :(


Boost list run by bdawes at, gregod at, cpdaniel at, john at