CCS процесс для диспенсера для напитков с двумя разными ценами

Диспенсер для напитков требует, чтобы пользователь вставил монету ( ), а затем нажмите одну из трех кнопок: запрашивает чашку чая , то же самое для кофе , и запрашивает возврат (т. е. автомат возвращает монету: ). Этот дозатор может быть смоделирован следующим процессом 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)$

Гражданская война поднимает цену на кофе до двух монет, а цена чая остается одной монетой. Мы хотим модифицированную машину, которая доставляет кофе только после двух монет и соглашается на возврат денег после одной или двух монет. Как мы можем смоделировать модифицированную машину с процессом CCS?

— Жиль "ТАК - прекрати быть злым"
источник

Что такое модель / процесс CCS? Они эквивалентны маркированным переходным системам (LTS)?

— Рафаэль

@Raphael CCS - это исчисление процессов, предшественник пи-исчисления. Модель CCS - это просто модель в CCS. Я добавил ссылку на Википедию и тег вики.

— Жиля SO- перестать быть злым »

Я думаю, что логика и языки программирования подходят для этого вопроса. Алгебры процессов изучаются в этих областях, и для этого вопроса логика кажется более подходящей, например, проверьте метки области здесь .

— Каве

Ответы:

Вы можете легко получить прибыль от войны таким образом:

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
источник

Я не понимаю ваш ответ. В первом процессе, который вы показываете, цена кофе составляет одну монету, а машина каким-то образом заставляет пользователя вставлять монету. Я не вижу никакой связи с вопросом. Второй процесс выглядит на правильном пути, но что

должен делать ??

\bar{c}

$\bar c$

— Жиль "ТАК - перестань быть злым"

@ Жиль:

вернет деньги, но было бы лучше, если бы вы дали нам другое имя, чтобы вернуть деньги.

\bar{c}

$\bar c$

— Стефан Гименес

@ StéphaneGimenez Вы правы, я добавил это.

— Жиль "ТАК - перестань быть злым"

@ Жиль и Стефан: вы правы,

- очень плохой выбор для возврата. (Например, вы могли бы потребовать, чтобы машина была асинхронной:

и тогда машина могла бы взять ее сама, поэтому вам нужно быть быстрым, чтобы поймать ваши деньги!)

\bar{c}

$\bar c$

r . (\bar{c} ∣ M)

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

— jmad

@ Жиль: Я тоже выбрал

, независимо от тебя. Я предполагаю, что это канонический выбор :-)

\bar{b}

$\bar b$

— jmad

Эта машина более удобна, чем та, которую вы предлагаете: $M_0$

M_{0} знак равно с, M_{1}

$M_0 := c.M_1$

M_{1} знак равно d_{чай}, {\bar{е}}_{чай}, M_{1} + р, \bar{б}, M_{0} + с, M_{2}

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

M_{N} знак равно d_{чай}, {\bar{е}}_{чай}, M_{N - 1} + d_{кофе}, {\bar{е}}_{кофе}, M_{N - 2} + р, \underset{N}{\underset{⏟}{\bar{б}, ... \bar{б},}} M_{0} + с, 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}$

(Но использование бесконечных процессов похоже на обман).

— Стефан Хименес
источник

Мне нравится композиционный аспект здесь. Тем не менее, я думаю, это нормально для автомата, чтобы не допустить более двух монет?

— Рафаэль

Ну, это также дает представление о том, как обращаться с монетами, которые имеют разные значения :-)

— Стефан Гименес