Отправить по sms: Синтез микропрограммных автоматов