State machines
A Computer Science formalism
A model for problems with distinct stages and actions
Useful for => Parsing computer languages => Writing communications systems => Modelling business processes