3 1 Спецификации программ Состояние набор значений