Init, history and shallow history states are pseudo states used to express special aspects. States are the central elements of a state machine. Expressions are used to declare events, variables etc. and to define behavior. A transition is the transfer of one state to another. Transitions are diagrammed as arrows and can carry events and actions but must not.