Proces CCS dla dystrybutora napojów w dwóch różnych cenach

Dozownik napojów wymaga od użytkownika włożenia monety ( $\bar c$ ), a następnie naciśnięcia jednego z trzech przycisków: prosi o filiżankę herbaty , to samo na kawę, i prosi o zwrot pieniędzy (tzn. maszyna zwraca monetę: ). Dozownik można modelować za pomocą następującego procesu CCS : $\bar d_{\text{tea}}$ $e_{\text{tea}}$ $\bar r$ $\bar b$

M. \overset{re mi fa}{=} do . ({re}_{herbata} . {\bar{mi}}_{herbata} . M. + {re}_{Kawa} . {\bar{mi}}_{Kawa} . 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)$

Wojna domowa podnosi cenę kawy do dwóch monet, podczas gdy cena herbaty pozostaje jedną monetą. Chcemy zmodyfikowanego urządzenia, które dostarcza kawę dopiero po dwóch monetach, i przyznaje zwrot pieniędzy po jednej lub dwóch monetach. Jak możemy modelować zmodyfikowaną maszynę za pomocą procesu CCS?

— Gilles „SO- przestań być zły”
źródło

Co to jest model / proces CCS? Czy są one równoważne z oznakowanymi systemami przejściowymi (LTS)?

— Raphael

@Raphael CCS to rachunek procesowy, prekursor rachunku różniczkowego pi. Model CCS to tylko model w CCS. Dodałem link do Wikipedii i tag wiki.

— Gilles „SO- przestań być zły”

Myślę, że logika i języki programowania są odpowiednie dla tego pytania. Algebry procesowe są badane w tych obszarach i dla tego pytania logika wydaje się bardziej odpowiednia, np. Sprawdź tutaj znaczniki obszaru .

— Kaveh

Odpowiedzi:

W ten sposób możesz łatwo czerpać zyski z działań wojennych:

M. \overset{re mi fa}{=} do . ({re}_{herbata} . {\bar{mi}}_{herbata} . M. + r . \bar{b} . M. + do . ({re}_{Kawa} . {\bar{mi}}_{Kawa} . 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 ) )$

pamiętaj, że musisz wcisnąć zwrot, aby dostać herbatę, jeśli włożysz zbyt wiele monet. Jeśli tego nie chcesz, możesz go dostosować (lub może skonfigurować licznik (wystarczy skończonego)):

M. \overset{re mi fa}{=} do . ({re}_{herbata} . {\bar{mi}}_{herbata} . M. + r . \bar{b} . M. + do . ({re}_{Kawa} . {\bar{mi}}_{Kawa} . M. + {re}_{herbata} . \bar{b} . {\bar{mi}}_{herbata} . 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
źródło

Nie rozumiem twojej odpowiedzi. Pierwszy pokazany proces ma cenę kawy za jedną monetę, a urządzenie w jakiś sposób powoduje, że użytkownik wkłada monetę. Nie widzę żadnego związku z pytaniem. Drugi proces wygląda na dobrej drodze, ale co

robić ??

\bar{c}

$\bar c$

— Gilles „SO- przestań być zły”

@Gilles:

oddaje pieniądze, ale byłoby lepiej, że podałeś nam inną nazwę, by je odesłać.

\bar{c}

$\bar c$

— Stéphane Gimenez

@ StéphaneGimenez Masz rację, dodałem to.

— Gilles „SO - przestań być zły”

@Gilles i Stéphane: masz rację,

jest bardzo złym wyborem na refundację. (Na przykład możesz wymagać, aby maszyna była asynchroniczna:

a następnie maszyna sama by to

\bar{c}

$\bar c$

r . (\bar{c} ∣ M)

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

— zrobiła,

@Gilles: Ja też wybrałem

, niezależnie od ciebie. Myślę, że to kanoniczny wybór :-)

\bar{b}

$\bar b$

— jmad

Ta maszyna jest wygodniejsza niż ta, którą proponujesz: $M_0$

{M.}_{0} : = do . {M.}_{1}

$M_0 := c.M_1$

{M.}_{1} : = {re}_{herbata} . {\bar{mi}}_{herbata} . {M.}_{1} + r . \bar{b} . {M.}_{0} + do . {M.}_{2)}

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

{M.}_{n} : = {re}_{herbata} . {\bar{mi}}_{herbata} . {M.}_{n - 1} + {re}_{Kawa} . {\bar{mi}}_{Kawa} . {M.}_{n - 2)} + r . \underset{n}{\underset{⏟}{\bar{b} . \dots \bar{b} .}} {M.}_{0} + do . {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}$

(Ale używanie nieskończonych procesów jest jak oszustwo).

— Stéphane Gimenez
źródło

Podoba mi się tutaj aspekt kompozytorski. Wydaje mi się jednak, że automat nie dopuszcza więcej niż dwóch monet?

— Raphael

Cóż, daje to także wyobrażenie o tym, jak radzić sobie z monetami o różnych wartościach :-)

— Stéphane Gimenez,