Self-Loop Transitions
A self-loop transition is a transition that originates from and
terminates on the same state. The following chart contains four self-loop transitions:
See these sections for more information about the semantics
of this notation: