İki farklı fiyatla bir içecek dağıtıcı için CCS işlemi

Bir içecek dağıtıcısı kullanıcının bir bozuk para ( ) eklemesini gerektirir , ardından üç düğmeden birine basın: bir bardak çay ister , kahve için aynen ve geri ödeme isteğinde bulunur (yani makine jetonu geri verir: ). Bu dağıtıcı aşağıdaki CCS işlemi ile modellenebilir : $\bar c$ $\bar d_{\text{tea}}$ $e_{\text{tea}}$ $\bar r$ $\bar b$

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

Bir iç savaş kahvenin fiyatını iki jetona yükseltirken, çayın fiyatı bir jeton olarak kalır. Sadece iki jetondan sonra kahveyi veren ve bir ya da iki jetondan sonra geri ödeme kabul eden değiştirilmiş bir makine istiyoruz. Değiştirilmiş makineyi bir CCS işlemiyle nasıl modelleyebiliriz?

— Gilles 'SO- şeytan olmayı bırak'
kaynak

CCS modeli / süreci nedir? Etiketli geçiş sistemlerine (LTS) eşdeğer midir?

— Raphael

@ Raphael CCS, pi hesabının öncüsü olan bir süreç hesabıdır. Bir CCS modeli sadece CCS'deki bir modeldir. Wikipedia bağlantısı ve wiki etiketi ekledim.

— Gilles 'SO- kötü olmayı kes

Bence mantık ve programlama dilleri bu soruya uygun. Süreç cebiri bu alanlarda incelenir ve bu soru için mantık alanı etiketlerini kontrol edin örneğin daha uygun bir görünüyor burada .

— Kaveh

Yanıtlar:

Savaştan bu şekilde kolayca faydalanabilirsiniz:

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

Çok fazla bozuk para koyarsanız çay almak için para iadesine basmanız gerektiğini unutmayın. Bunu istemiyorsanız, uyarlayabilirsiniz (veya belki (sonlu yeterlidir) bir sayaç kurabilirsiniz):

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
kaynak

Cevabınızı anlamıyorum. Gösterdiğiniz ilk işlem, bir madeni parada kahve fiyatına sahiptir ve makinenin bir şekilde kullanıcının bir madeni para eklemesine neden olmasıdır. Soru ile herhangi bir bağlantı görmüyorum. Doğru yolda ikinci süreç görünüyor, ama ne

yapmak gerekiyordu ??

\bar{c}

$\bar c$

— Gilles 'SO- kötü olmayı kes

@Gilles:

parayı geri veriyor, ama parayı geri göndermek için bize başka bir isim

daha iyi olurdu.

\bar{c}

$\bar c$

— Stéphane Gimenez

@ StéphaneGimenez Haklısın, bunu ekledim.

— Gilles 'SO- kötü olmayı kes

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

(Ama sonsuz süreçleri kullanmak hile gibidir).

— Stéphane Gimenez
kaynak

Buradaki kompozisyonel yönü seviyorum. Ancak, sanırım otomatın ikiden fazla jetona izin vermemesi sorun değil mi?

— Raphael

Peki bu aynı zamanda farklı değerlere sahip paralarla nasıl başa çıkılacağına dair bir fikir verir :-)

— Stéphane Gimenez