Computers are, after all, frighteningly complex state machines. Quite of bit of the software we write can be modeled as a state machine, too. A great technological achievement by humans? Turns out, ...