23 Feb
2005
23 Feb
'05
2:26 a.m.
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:
On second thought, this looks pretty old. I didn't even realize that Jon Barwise had died :( Jonathan