Questions tagged «ccs»

2
具有两种不同价格的饮料分配器的CCS流程
饮料分配器要求用户插入硬币(),然后按三个按钮之一:要求喝杯茶,同上咖啡,要求退款(即机器退回硬币:)。可以通过以下CCS流程对分配器进行建模:c¯c¯\bar cd¯tead¯tea\bar d_{\text{tea}}eteaeteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M)M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M) M \stackrel{\mathrm{def}}= c.(d_{\text{tea}}.\bar e_{\text{tea}}.M + d_{\text{coffee}}.\bar e_{\text{coffee}}.M + r.\bar b.M) 内战将咖啡的价格提高到两枚硬币,而茶的价格仍然是一枚硬币。我们想要一台经过改进的机器,该机器仅在两枚硬币后才送出咖啡,并默认一枚或两枚硬币后才能退款。我们如何使用CCS流程对修改后的机器建模?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.