একটি পানীয় বিতরণের জন্য ব্যবহারকারীকে একটি কয়েন ( ) toোকানো প্রয়োজন , তারপরে তিনটি বোতামের মধ্যে একটি টিপুন: এক কাপ চা চাওয়ার জন্য , কফির জন্য ডাইটো , এবং একটি অর্থ ফেরতের অনুরোধ করে (অর্থাত্ যন্ত্রটি মুদ্রাটি ফিরিয়ে দেয়: )। এই সরবরাহকারী নিম্নলিখিত সিসিএস প্রক্রিয়া দ্বারা মডেল করা যেতে পারে :ˉ ডি চাইচা ˉ আর ˉ ˉ
একটি গৃহযুদ্ধ কফির দাম দুটি কয়েন বাড়িয়েছে, যখন চায়ের দাম এক মুদ্রা। আমরা একটি পরিবর্তিত মেশিন চাই যা কেবল দুটি কয়েনের পরে কফি বিতরণ করে এবং একটি বা দুটি কয়েন পরে একটি ফেরত অর্জন করতে পারে। সিসিএস প্রক্রিয়া সহ আমরা কীভাবে পরিবর্তিত মেশিনটিকে মডেল করতে পারি?