Semantics: Junctions in State Machines

Junctions aid the legibility of state diagrams. The functionality of all the examples can also be described using direct transitions between the states.