plantuml
@startuml
skinparam shadowing false

state0: 00000
state1: 01000
state2: 01100
state3: 01110
state4: 01111
state5: 10000
state6: 11000
state7: 11100
state8: 11110
state9: 11111

state0 -down-> underflow : -1
state0 -up[#red,bold]-> state1 : +1
state1 -down[#blue,bold]-> state0 : -1
state1 -up[#red,bold]-> state2 : +1
state2 -down[#blue,bold]-> state1 : -1
state2 -up[#red,bold]-> state3 : +1
state3 -down[#blue,bold]-> state2 : -1
state3 -up[#red,bold]-> state4 : +1
state4 -down[#blue,bold]-> state3 : -1
state4 -up[#red,bold]-> state5 : +1
state5 -down[#blue,bold]-> state4 : -1
state5 -up[#red,bold]-> state6 : +1
state6 -down[#blue,bold]-> state5 : -1
state6 -up[#red,bold]-> state7 : +1
state7 -down[#blue,bold]-> state6 : -1
state7 -up[#red,bold]-> state8 : +1
state8 -down[#blue,bold]-> state7 : -1
state8 -up[#red,bold]-> state9 : +1
state9 -down[#blue,bold]-> state8 : -1
state9 -up[#green,bold]-> overflow : +1

state0 -down-> underflow : -2
state1 -down-> underflow : -2
state0 -up[#red,bold]-> state2 : +2
state1 -up[#red,bold]-> state3 : +2
state2 -down[#blue,bold]-> state0 : -2
state2 -up[#red,bold]-> state4 : +2
state3 -down[#blue,bold]-> state1 : -2
state3 -up[#red,bold]-> state5 : +2
state4 -down[#blue,bold]-> state2 : -2
state4 -up[#red,bold]-> state6 : +2
state5 -down[#blue,bold]-> state3 : -2
state5 -up[#red,bold]-> state7 : +2
state6 -down[#blue,bold]-> state4 : -2
state6 -up[#red,bold]-> state8 : +2
state7 -down[#blue,bold]-> state5 : -2
state7 -up[#red,bold]-> state9 : +2
state8 -down[#blue,bold]-> state6 : -2
state9 -down[#blue,bold]-> state7 : -2
state9 -up[#green,bold]-> overflow : +2
state8 -up[#green,bold]-> overflow : +2


state0 -down-> underflow : -3
state1 -down-> underflow : -3
state0 -up[#red,bold]-> state3 : +3
state1 -up[#red,bold]-> state4 : +3
state2 -down-> underflow : -3
state2 -up[#red,bold]-> state5 : +3
state3 -down[#blue,bold]-> state0 : -3
state3 -up[#red,bold]-> state6 : +3
state4 -down[#blue,bold]-> state1 : -3
state4 -up[#red,bold]-> state7 : +3
state5 -down[#blue,bold]-> state2 : -3
state5 -up[#red,bold]-> state8 : +3
state6 -down[#blue,bold]-> state3 : -3
state6 -up[#red,bold]-> state9 : +3
state7 -down[#blue,bold]-> state4 : -3
state7 -up[#green,bold]-> overflow : +3
state8 -down[#blue,bold]-> state5 : -3
state9 -down[#blue,bold]-> state6 : -3
state9 -up[#green,bold]-> overflow : +3
state8 -up[#green,bold]-> overflow : +3

state0 -down-> underflow : -4
state0 -up[#red,bold]-> state4 : +4
state1 -up[#red,bold]-> state5 : +4
state1 -down-> underflow : -4
state2 -up[#red,bold]-> state6 : +4
state2 -down-> underflow : -4
state3 -up[#red,bold]-> state7 : +4
state3 -down-> underflow : -4
state4 -down[#blue,bold]-> state0 : -4
state4 -up[#red,bold]-> state8 : +4
state5 -down[#blue,bold]-> state1 : -4
state5 -up[#red,bold]-> state9 : +4
state6 -down[#blue,bold]-> state2 : -4
state6 -up[#green,bold]-> overflow : +4
state7 -down[#blue,bold]-> state3 : -4
state7 -up[#green,bold]-> overflow : +4
state8 -down[#blue,bold]-> state4 : -4
state8 -up[#green,bold]-> overflow : +4
state9 -down[#blue,bold]-> state5 : -4
state9 -up[#green,bold]-> overflow : +4

state0 -down-> underflow : -5
state0 -up[#red,bold]-> state5 : +5
state1 -down-> underflow : -5
state1 -up[#red,bold]-> state6 : +5
state2 -down-> underflow : -5
state2 -up[#red,bold]-> state7 : +5
state3 -down-> underflow : -5
state3 -up[#red,bold]-> state8 : +5
state4 -down-> underflow : -5
state4 -up[#red,bold]-> state9 : +5
state5 -down[#blue,bold]-> state0 : -5
state5 -up[#green,bold]-> overflow : +5
state6 -down[#blue,bold]-> state1 : -5
state6 -up[#green,bold]-> overflow : +5
state7 -down[#blue,bold]-> state2 : -5
state7 -up[#green,bold]-> overflow : +5
state8 -down[#blue,bold]-> state3 : -5
state8 -up[#green,bold]-> overflow : +5
state9 -down[#blue,bold]-> state4 : -5
state9 -up[#green,bold]-> overflow : +5

state0 -down-> underflow : -6
state0 -up[#red,bold]-> state6 : +6
state1 -down-> underflow : -6
state1 -up[#red,bold]-> state7 : +6
state2 -down-> underflow : -6
state2 -up[#red,bold]-> state8 : +6
state3 -down-> underflow : -6
state3 -up[#red,bold]-> state9 : +6
state4 -down-> underflow : -6
state4 -[#green,bold]-> overflow : +6
state5 -down-> underflow : -6
state5 -up[#green,bold]-> overflow : +6
state6 -down[#blue,bold]-> state0 : -6
state6 -up[#green,bold]-> overflow : +6
state7 -down[#blue,bold]-> state1 : -6
state7 -up[#green,bold]-> overflow : +6
state8 -down[#blue,bold]-> state2 : -6
state8 -up[#green,bold]-> overflow : +6
state9 -down[#blue,bold]-> state3 : -6
state9 -up[#green,bold]-> overflow : +6

state0 -down-> underflow : -7
state0 -up[#red,bold]-> state7 : +7
state1 -down-> underflow : -7
state1 -up[#red,bold]-> state6 : +7
state2 -down-> underflow : -7
state2 -up[#red,bold]-> state9 : +7
state3 -down-> underflow : -7
state3 -up[#green,bold]-> overflow : +7
state4 -down-> underflow : -7
state4 -up[#green,bold]-> overflow : +7
state5 -down-> underflow : -7
state5 -up[#green,bold]-> overflow : +7
state6 -down-> underflow : -7
state6 -up[#green,bold]-> overflow : +7
state7 -down[#blue,bold]-> state0 : -7
state7 -up[#green,bold]-> overflow : +7
state8 -down[#blue,bold]-> state1 : -7
state8 -up[#green,bold]-> overflow : +7
state9 -down[#blue,bold]-> state2 : -7
state9 -up[#green,bold]-> overflow : +7

state0 -down-> underflow : -8
state0 -down[#blue,bold]-> state8 : +8
state1 -down-> underflow : -8
state1 -down[#blue,bold]-> state9 : +8
state2 -down-> underflow : -8
state2 -up[#green,bold]-> overflow : +8
state3 -down-> underflow : -8
state3 -up[#green,bold]-> overflow : +8
state4 -down-> underflow : -8
state4 -up[#green,bold]-> overflow : +8
state5 -down-> underflow : -8
state5 -up[#green,bold]-> overflow : +8
state6 -down-> underflow : -8
state6 -up[#green,bold]-> overflow : +8
state7 -down-> underflow : -8
state7 -up[#green,bold]-> overflow : +8
state8 -up[#red,bold]-> state0 : -8
state8 -up[#green,bold]-> overflow : +8
state9 -up[#red,bold]-> state1 : -8
state9 -up[#green,bold]-> overflow : +8

@enduml
Ref.

職業訓練
https://qiita.com/kaizen_nagoya/items/95368b63fa21d64271ec
UML記事一覧
https://qiita.com/kaizen_nagoya/items/7e7f3af08e1f3bd0380c