Пи-исчисление: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
РоманСузи (обсуждение | вклад) →Пример бизнес-процесса: читабельность примера |
РоманСузи (обсуждение | вклад) →Пример бизнес-процесса: исправление опечатки |
||
Строка 92:
: ОфициантПринимаетЗаказ(заказ,заказГотов,заказНеГотов,кухня)=
:: заказ(клиент).{{overline|кухня}}<заказГотов,заказНеГотов>
:: .ОфициантПриноситЕду(заказГотов,заказНеГотов,клиент)
: ОфициантПриноситЕду(заказГотов,заказНеГотов,клиент)=
:: заказГотов(блюдо).{{overline|клиент}}<блюдо>
|