กระบวนการ CCS สำหรับตู้กดน้ำที่มีราคาแตกต่างกันสองแบบ

ตู้กดน้ำต้องให้ผู้ใช้ใส่เหรียญ ( ) จากนั้นกดปุ่มหนึ่งในสามปุ่ม:ขอถ้วยชา , เหมือนกันสำหรับกาแฟ และขอเงินคืน (เช่นเครื่องให้เงินคืน: ) เครื่องจ่ายนี้สามารถสร้างแบบจำลองโดยกระบวนการCCSต่อไปนี้:$\bar c$$\bar d_{\text{tea}}$$e_{\text{tea}}$$\bar r$$\bar b$

$$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 ได้อย่างไร

คุณสามารถได้กำไรจากสงครามอย่างง่ายดาย:

$$M \stackrel{\mathrm{def}} = c.( d_{\text{tea}}.\bar e_{\text{tea}}.M + r.\bar b.M + c.( d_{\text{coffee}}.\bar e_{\text{coffee}}.M + r.\bar b.\bar b.M ) )$$

โปรดทราบว่าคุณต้องกดคืนเงินเพื่อรับชาถ้าคุณใส่เหรียญมากเกินไป หากคุณไม่ต้องการสิ่งนั้นคุณสามารถปรับได้ (หรืออาจตั้งค่าตัวนับ (จำกัด แน่นอน)):

$$M \stackrel{\mathrm{def}} = c.( d_{\text{tea}}.\bar e_{\text{tea}}.M + r.\bar b.M + c.( d_{\text{coffee}}.\bar e_{\text{coffee}}.M + d_{\text{tea}}.\bar b.\bar e_{\text{tea}}.M + r.\bar b.\bar b.M ) )$$

นี้เครื่องจะสะดวกกว่าคนที่คุณนำเสนอ:$M_0$

$$M_0 := c.M_1$$

$$M_1 := d_{\text{tea}}.\bar e_{\text{tea}}.M_1 + r.\bar b.M_0 + c.M_2$$

$$M_{n} := d_{\text{tea}}.\bar e_{\text{tea}}.M_{n-1} + d_{\text{coffee}}.\bar e_{\text{coffee}}.M_{n-2} + r.\underbrace{\bar b.\dots\bar b.}_{n}M_0 + c.M_{n+1}$$

(แต่การใช้กระบวนการที่ไม่มีที่สิ้นสุดนั้นก็เหมือนกับการโกง)