Boost logo

Boost :

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-02-22 20:51:11

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:


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