Отправить по sms: Проблемы синтеза цифровых автоматов