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