All the introductions to Finite State Machines use physical state machines- ATMs, traffic lights- as examples. Paradoxically this makes it all less intuitive to me, because I can't see the underlying abstraction. A good example would be a software unit I didn't consider a FSM.