Комментарии — Формально об алгоритмах. Вычислительные модели/Задачи/ex-obfuscation-undecidable