Quy trình CCS cho một quầy pha chế đồ uống với hai mức giá khác nhau

Một quả uống yêu cầu người dùng để chèn một đồng xu ( ), sau đó một thao tác bấm ba nút: yêu cầu một tách trà , như trên cho cà phê, và yêu cầu một khoản hoàn lại (tức là máy cung cấp cho phía sau đồng xu: ). Bộ phân phối này có thể được mô hình hóa theo quy trình CCS sau : $\bar c$ $\bar d_{\text{tea}}$ $e_{\text{tea}}$ $\bar r$ $\bar b$

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + d_{coffee} . {\bar{e}}_{coffee} . M + r . \bar{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)$

Một cuộc nội chiến làm tăng giá cà phê lên hai đồng, trong khi giá trà vẫn là một đồng. Chúng tôi muốn một cỗ máy được sửa đổi chỉ cung cấp cà phê sau hai đồng xu và được hoàn lại tiền sau một hoặc hai đồng xu. Làm thế nào chúng ta có thể mô hình hóa máy đã sửa đổi với quy trình CCS?

— Gilles 'SO- ngừng là ác'
nguồn

Mô hình / quy trình CCS là gì? Chúng có tương đương với các hệ thống chuyển tiếp được dán nhãn (LTS) không?

— Raphael

@Raphael CCS là một phép tính quá trình, tiền thân của phép tính pi. Một mô hình CCS chỉ là một mô hình trong CCS. Tôi đã thêm một liên kết Wikipedia và một thẻ wiki.

— Gilles 'SO- ngừng trở thành ác quỷ'

Tôi nghĩ logic và ngôn ngữ lập trình là phù hợp cho câu hỏi này. Đại số quá trình được nghiên cứu trong các lĩnh vực này, và đối với câu hỏi này logic có vẻ phù hợp hơn, ví dụ, vui lòng kiểm tra các thẻ khu vực ở đây .

— Kaveh

Câu trả lời:

Bạn có thể dễ dàng kiếm lợi từ chiến tranh theo cách đó:

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + r . \bar{b} . M + c . (d_{coffee} . {\bar{e}}_{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 + r.\bar b.\bar b.M ) )$

lưu ý rằng bạn phải nhấn hoàn tiền để nhận trà nếu bạn đặt quá nhiều tiền. Nếu bạn không muốn điều đó, bạn có thể điều chỉnh nó (hoặc có thể thiết lập bộ đếm (hữu hạn là đủ):

M \overset{d e f}{=} c . (d_{tea} . {\bar{e}}_{tea} . M + r . \bar{b} . M + c . (d_{coffee} . {\bar{e}}_{coffee} . M + d_{tea} . \bar{b} . {\bar{e}}_{tea} . 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 ) )$

— jmad
nguồn

Tôi không hiểu câu trả lời của bạn. Quá trình đầu tiên bạn hiển thị có giá cà phê tại một đồng xu và bằng cách nào đó, máy khiến người dùng phải chèn một đồng xu. Tôi không thấy bất kỳ kết nối với câu hỏi. Quá trình hình thứ hai đi đúng hướng, nhưng là những gì

phải làm gì ??

\bar{c}

$\bar c$

— Gilles 'SO- ngừng trở thành ác quỷ'

\bar{c}

$\bar c$

@ StéphaneGimenez Bạn nói đúng, tôi đã thêm nó.

— Gilles 'SO- ngừng trở thành ác quỷ'

\bar{c}

$\bar c$

r . (\bar{c} ∣ M)

$r.(\bar c\mid M)$

\bar{b}

$\bar b$

$M_0$

M_{0} := c . M_{1}

$M_0 := c.M_1$

M_{1} := d_{tea} . {\bar{e}}_{tea} . M_{1} + r . \bar{b} . M_{0} + c . M_{2}

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

M_{n} := d_{tea} . {\bar{e}}_{tea} . M_{n - 1} + d_{coffee} . {\bar{e}}_{coffee} . M_{n - 2} + r . \underset{n}{\underset{⏟}{\bar{b} . \dots \bar{b} .}} M_{0} + c . M_{n + 1}

$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}$

(Nhưng sử dụng các quy trình vô hạn cũng giống như gian lận).

— Stéphane Gimenez
nguồn

Tôi thích khía cạnh sáng tác ở đây. Tuy nhiên, tôi đoán việc máy tự động không cho phép nhiều hơn hai đồng tiền là tốt?

— Raphael

Chà, điều này cũng cho một ý tưởng về cách đối phó với các đồng tiền có giá trị khác nhau :-)

— Stéphane Gimenez