Обнаружение компьютерных вирусов
После определения компьютерного вируса естественным образом возникает вопрос об обнаружении такого рода программ, или о разрешимости множества компьютерных вирусов. Л. Адельман доказал следующую теорему.
Теорема 2.12. Для всех геделевских нумераций частичных рекурсивных функций
: - полное множествоТеорема приводится без доказательства.
Здесь
- класс множеств в арифметической классификации. Известно, что классы множеств с индексом 1 и выше являются неразрешимыми. Следовательно и множество вирусов является неразрешимым.