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