a
1Input tree:
a
1
1State tree:
11
2
NextState tree:
12
Transition tree:
transition
a
11
12
b
2Input tree:
b
1
2State tree:
21
2
NextState tree:
22
Transition tree:
transition
b
21
22
c
3Input tree:
c
1
3State tree:
31
2
NextState tree:
32
Transition tree:
transition
c
31
32
TransitionList tree:
transition
c
31
32