"Strong typing vs. strong testing"

Pascal J. Bourguignon pjb at informatimago.com
Fri Oct 1 11:09:09 CEST 2010

Gene <gene.ressler at gmail.com> writes:

> The FA or TM dichotomy is more painful to contemplate than you say.
> Making appropriate simplifications for input, any modern computer is a
> FA with 2^(a few trillion) states.  Consequently, the gestalt of
> computer science seems to be to take it on faith that at some very
> large number of states, the FA behavior makes a transition to TM
> behavior for all possible practical purposes (and I mean all).  So
> what is it--really--that's trivial to analyze?  And what is
> impossible?  I'm sorry this is drifting OT and will stop here.

Don't worry, this thread is becoming interesting at least.

__Pascal Bourguignon__                     http://www.informatimago.com/

More information about the Python-list mailing list