一台饮料自动售货机能提供六种不同的饮料,售货机上有六个按钮,分别对应于这六种饮料,顾客可通过按钮来选择所要的饮料。每个按钮旁边有一个指示灯,用来表明该售货机中是否还有这种饮料可售。售货机有一个硬币槽和找零槽,用来收钱和找零。假设现在有一位顾客投币购买矿泉水,不用找零。