Господа,

1) начиная с сегодня-после-лекции заявки на первую задачу больше не принимаются. 2) тем, кто отправлял заявку на этой неделе и задачи не получил, я отправлю задачи до субботы 3) на следующей неделе, 7 марта, лекции НЕ БУДЕТ (я улетаю в командировку). 4) для тех, кто не был на лекции: помимо задания в легенде, нужно построить модель функции из первой задачи на языке Promela и использовать систему SPIN, чтобы точно оценить число состояний получившейся модели.