2
Процес CCS для дозатора напоїв з двома різними цінами
Напій дозатор вимагає, щоб користувач , щоб вставити монету ( ), а потім натисніть одну з трьох кнопок: ˉ d чай просить чашку чаю е чаю , Ditto для кави, а ˉ г вимагає повернення (тобто машина дає назад монета: ˉ б ). Цей дозатор можна моделювати за допомогою наступного …