Thu Jan 26 06:59:00 EST 2012

State machines / parallellism and resource allocation

And then..  I'm thinking that in this whole parallellism debate,
shouldn't we go back to "writing" electronics instead of programs?

So I wonder, is that really just a problem of resource allocation?
SM's are finite, but most programming models are infinite (infinite
memory for storage and execution stacks/continuations).  Of course
this model breaks down because this infinite general model has to be
"small enough" to be implemented on a finite machine.