23 Feb
2005
23 Feb
'05
1:51 a.m.
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