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