>> I don't have an infinite stack to implement >> lambda calculus, but... > > And then > >> But this is not a useful formalism. Any particular Program implements >> a DFA, even as it runs on a TM. The issue of whether than TM is >> finite or not can be dismissed because a simple calculation can >> usually suffice, or at least establish a range "usefulness" so as not >> to "run out of memory". > > Having it both ways aren't you?
I'm just speaking from programmer experience and the fact that most machines are VonNeumann architecture. Being that as it is, maxing out the stack simply happens, and I don't dare do any non-simple recursion, but otherwise, practically speaking, I can calculate my memory usage that may grow on the heap so that is effectively a non-issue. This may not be an important distinction for computing, the "art" (Hello ultimate lambda friends), but it is significant for the computing, the science. MarkJ Tacoma, Washington -- https://mail.python.org/mailman/listinfo/python-list
