效绵 9 States 14 Transitions 1利 2 put_back 1 put back 2.get_F1 02 1-geLF1 2.90tF2 19做F2 1F1 11 NF2 F2 2程 2_get_F2 198LF2 19tF2 1_get_F1 2.get_F2 1_got_F1 2_get_F1 2 get F1 F 1F1 宝 2 22◼ 9 States 14 Transitions