[boost] Re: [Determine interest] Deterministic/nondeterminisaticmultitape Turing machine

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:
>
> http://www-csli.stanford.edu/hp/#Turing

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

Jonathan