【资料图】
每瓶饮料元，一次只能投入一个硬币，可投入与两种硬币，具有找零功能。
IDLE：复位状态，表示饮料机中的余额为0元
s1:饮料机的余额为元
s2:饮料机中的余额为1元
s3:饮料机中的余额为元（输出饮料，不找零）
s4:饮料集中的余额为2元（输出饮料，找零)
Moore状态机
【资料图】
每瓶饮料元，一次只能投入一个硬币，可投入与两种硬币，具有找零功能。
IDLE：复位状态，表示饮料机中的余额为0元
s1:饮料机的余额为元
s2:饮料机中的余额为1元
s3:饮料机中的余额为元（输出饮料，不找零）
s4:饮料集中的余额为2元（输出饮料，找零)
Moore状态机