![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Доказана алгоритмическая разрешимость задачи выразимости групповых автоматов Медведева через операцию расширенной суперпозиции.