"Strong typing vs. strong testing"

[Pascal J. Bourguignon]

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/