[Infrastructures] state machines

[Wesley Craig]

On 19 Sep 2006, at 11:44, Brandon S. Allbery KF8NH wrote:
> Sure --- assuming you know all of the state that is ever affected  
> by any change.  Which is in some sense the fundamental issue here;  
> I do *not* reliably know everything that e.g. Cadence installs will  
> affect, and once or twice we've been caught by surprise as a  
> result.  State machines are only useful when *all* possible states  
> are known beforehand.

Oh, you want to talk about practicalities?  I thought we were talking  
about theorems & proofs.

If you want to talk about practicalities,  Do you think Cadence is  
reprogramming the firmware?  Let's assume for the moment that it only  
installs file in the filesystem.  Do you agree that it's *possible*  
for you to know everything that Cadence install has affected?

:wes