Дорогие студенты,

Пара комментариев к результатам контрольной работы.

1. Как вы могли заметить, я несколько снизил критерии, оценки.

2. Я старался максимально засчитывать усилия по построению автомата Бюхи и ставил 0 за первый вопрос только в исключительных случаях.

3. Отличие свойств безопасности от свойств живучести нужно объяснять, исходя из того как они проверяются.

С уважением, Константин Савенков.

P.S. Мне сдана одна неподписанная работа -- кто автор?