Neem een lift die mensen kan vervoeren. Het gebouw heeft twee verdiepingen.
De lift is ontworpen om de volgende taken uit te voeren:
- Stilstaan op een van de verdiepingen
- Onderweg zijn naar een andere verdieping
Het gedrag van de lift kunnen we beschouwen als een eindige (toestands)automaat. Dat is een apparaat dat zich in een bepaalde vaste toestand bevindt en dat kan overgaan naar een andere toestand. De lift bevindt zich in één van de drie vaste toestanden, dat zijn de verdiepingen waarop de lift stilstaat. De lift kan naar een andere toestand (een andere verdieping) overgaan.