Цахим шуудангийн бүртгэл: Проблемы синтеза цифровых автоматов