[jonsen]

Computers are general concrete state machines. Computer programs behave by conducting a computer into a specific state machine behaviour. So it can't be wrong to say that all computer programs describe state machines.