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