Відправити по sms: Элементы анализа программ. Частичные функции на множестве состояний