Machines

A state machine is a finite set of states that can transition to each other deterministically due to events. A statechart is an extension of state machines; mainly, they can have: