2つの異なる価格のドリンクディスペンサーのCCSプロセス

ドリンクディスペンサーは、（コインを挿入するために、ユーザが必要です：）三つのボタンの、そしてプレス1 お茶のカップを要求、コーヒーのため同上を、そして払い戻しを要求する（つまり、マシンが戻っていますコイン：）。このディスペンサーは、次のCCSプロセスによってモデル化できます。 $\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)$

内戦はコーヒーの価格を2コインに引き上げますが、お茶の価格は1コインのままです。私たちは、2枚のコインの後にのみコーヒーを配達し、1枚または2枚のコインの後に払い戻しを受け入れるように変更されたマシンを求めています。変更したマシンをCCSプロセスでどのようにモデル化できますか？

— ジル「SO-悪であるのをやめる」
ソース

CCSモデル/プロセスとは何ですか？それらはラベル付き遷移システム（LTS）と同等ですか？

— ラファエル

@Raphael CCSは、プロセス計算、パイ計算の前駆体です。CCSモデルはCCSの単なるモデルです。ウィキペディアのリンクとタグウィキを追加しました。

— Gilles「SO-邪悪なことをやめよう」

この質問には、ロジックとプログラミング言語が適切だと思います。プロセス代数はこれらの領域で研究されており、この質問ロジックの方が適切であると思われます。たとえば、ここの領域タグを確認してください。

— Kaveh

回答:

そのようにして戦争から簡単に利益を得ることができます：

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

コインを入れすぎると、お茶をもらうために払い戻しを押す必要があります。あなたがそれを望まないなら、あなたはそれを適応させることができます（または多分（有限で十分です）カウンターを設定することができます）：

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
ソース

あなたの答えがわかりません。最初に表示するプロセスは、1コインでのコーヒーの価格であり、マシンに何らかの方法でユーザーにコインを挿入させます。質問との関連はありません。2番目のプロセスは正しい軌道を

が、

何をするべきですか？

\bar{c}

$\bar c$

— Gilles「SO-悪をやめる」

@ギレス：

\bar{c}

$\bar c$

@StéphaneGimenezそうですね、私はそれを追加しました。

— Gilles「SO-邪悪なことをやめよう」

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

（しかし、無限のプロセスの使用は不正行為のようなものです）。

— ステファンヒメネス
ソース

私はここでの構成面が好きです。しかし、私は、オートマトンが2枚以上のコインを許可しないことは問題ないと思いますか？

— ラファエル

まあ、これはまた、異なる値を持っている:-)コインに対処する方法のアイデアを提供します

— ステファン・ヒメネスを