##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
(Visualizing the structure)
Consider nodes through where , , , , , . Each node has exactly one outgoing edge. From node : you go The tail is , and the cycle is .
The tail has length , the cycle has length . From node : you stay at forever. A self-loop is a cycle of length . Every node eventually reaches a cycle, possibly immediately.
