An introduction to finite state machines and their use in modelling real-world systems.