Proceso CCS para un dispensador de bebidas con dos precios diferentes.

Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el siguiente proceso 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)$

Una guerra civil eleva el precio del café a dos monedas, mientras que el precio del té sigue siendo una moneda. Queremos una máquina modificada que entregue café solo después de dos monedas y acepte un reembolso después de una o dos monedas. ¿Cómo podemos modelar la máquina modificada con un proceso CCS?

logic concurrency modelling process-algebras ccs Gilles 'SO- deja de ser malvado'
fuente

¿Qué es un modelo / proceso CCS? ¿Son equivalentes a los sistemas de transición etiquetados (LTS)?

Raphael

@Raphael CCS es un cálculo de proceso, un precursor del cálculo pi. Un modelo CCS es solo un modelo en CCS. He agregado un enlace de Wikipedia y una etiqueta wiki.

Gilles 'SO- deja de ser malvado'

Creo que la lógica y los lenguajes de programación son apropiados para esta pregunta. Las álgebras de procesos se estudian en estas áreas, y para esta pregunta la lógica parece más apropiada, por ejemplo, compruebe las etiquetas de área aquí .

Kaveh

Respuestas:

Puede beneficiarse fácilmente de la guerra de esa manera:

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

tenga en cuenta que debe presionar el reembolso para obtener un té si pone demasiadas monedas. Si no quiere eso, puede adaptarlo (o tal vez configurar un contador (finito es suficiente)):

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
fuente

No entiendo tu respuesta. El primer proceso que muestra tiene el precio del café en una moneda, y hace que la máquina de alguna manera haga que el usuario inserte una moneda. No veo ninguna conexión con la pregunta. El segundo proceso se ve en el camino correcto, pero ¿qué se supone que debe hacer ?

\bar{c}

$\bar c$

Gilles 'SO- deja de ser malvado'

@Gilles: devuelve el dinero, pero sería mejor si nos dieras otro nombre para devolver el dinero.

\bar{c}

$\bar c$

Stéphane Gimenez

@ StéphaneGimenez Tienes razón, lo he agregado.

Gilles 'SO- deja de ser malvado'

@Gilles y Stéphane: tienes razón, es una muy mala elección para el reembolso. (Por ejemplo, podría requerir que la máquina sea asíncrona: y luego la máquina podría tomarla por sí misma, ¡así que tendrá que apresurarse a recuperar su dinero!)

\bar{c}

$\bar c$

r . (\bar{c} ∣ M)

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

jmad

@Gilles: Elegí también, independientemente de ti. Supongo que esta es la elección canónica :-)

\bar{b}

$\bar b$

jmad

Esta máquina es más conveniente que la que usted propone: $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}$

(Pero usar procesos infinitos es como hacer trampa).

Stéphane Gimenez
fuente

Me gusta el aspecto compositivo aquí. Sin embargo, supongo que está bien que el autómata no permita más de dos monedas.

Raphael

Bueno, esto también da una idea de cómo lidiar con monedas que tienen valores diferentes :-)

Stéphane Gimenez