[boost] Re: [Determine interest] Deterministic/nondeterminisatic multitape Turing machine

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:

http://www-csli.stanford.edu/hp/#Turing

Jonathan