Үүнийг мессежээр илгээх: Проблемы синтеза цифровых автоматов