दो अलग-अलग कीमतों के साथ एक ड्रिंक मशीन के लिए सीसीएस प्रक्रिया

एक ड्रिंक डिस्पेंसर के लिए उपयोगकर्ता को एक सिक्का ( ) सम्मिलित करने की आवश्यकता होती है , फिर तीन में से एक बटन दबाएं: एक कप चाय अनुरोध करता है , कॉफी के लिए , और अनुरोध वापस करता है (यानी मशीन वापस देता है) सिक्का: )। इस मशीन को निम्नलिखित 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 प्रक्रिया के साथ संशोधित मशीन को कैसे मॉडल कर सकते हैं?

— गिल्स 'SO- बुराई होना बंद करो'
स्रोत

CCS मॉडल / प्रक्रिया क्या है? क्या वे लेबल संक्रमण प्रणालियों (LTS) के बराबर हैं?

— राफेल

@Raphael CCS एक प्रक्रिया पथरी है, जो पाइ पथरी का अग्रदूत है। CCS मॉडल CCS का एक मॉडल है। मैंने एक विकिपीडिया लिंक और एक टैग विकि जोड़ा है।

— गिल्स एसओ- बुराई को रोकना '

मुझे लगता है कि तर्क और प्रोग्रामिंग-भाषाएं इस प्रश्न के लिए उपयुक्त हैं। इन क्षेत्रों में प्रक्रिया बीजगणित का अध्ययन किया जाता है, और इस प्रश्न के लिए तर्क अधिक उपयुक्त लगता है, उदाहरण के लिए कृपया यहाँ क्षेत्र टैग देखें ।

— केव

जवाबों:

आप इस तरह से युद्ध से आसानी से लाभ ले सकते हैं:

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$

— जाम

यह मशीन आपके द्वारा प्रस्तावित प्रस्ताव से अधिक सुविधाजनक है: $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}$

(लेकिन अनंत प्रक्रियाओं का उपयोग करना धोखा देने जैसा है)।

— स्टीफन जिमेनेज़
स्रोत

मुझे यहां का रचनात्‍मक पहलू पसंद है। हालांकि, मुझे लगता है कि ऑटोमेटन के लिए दो सिक्कों से अधिक की अनुमति नहीं देना ठीक है?

— राफेल

वैसे यह भी एक आइडिया देता है कि सिक्कों से कैसे निपटा जाए जिसमें अलग-अलग मूल्य हैं :-)

— स्टीफन जिमेनेज़