What nobody seems to understand is that all software and all digital hardware are state machines. So thinking in state machines makes it possible to clearly thi

What nobody seems to understand is that all software and all digital hardware are state machines. So thinking in state machines makes it possible to clearly think about software. TLA+ is an example of this thinking applied to modelling software.