Вопрос о Антивирусах

[EvilCoder]

<DELETE>

[Urvin]

Так Вирусы все время новые...

[Tarik]

Я думаю, невозможно. Даже если и сделают какой-нибудь новый революционный эвристический анализатор, вирьмэйкеры всё равно что-нибудь придумают

[EvilCoder]

<DELETE>

[FaKk2]

Могу доказать что не может быть такого антивируса который бы ловил все вирусы на свете и в будущем продолжал делать тоже самое.

[SeRRg]

Ну докажи

[FaKk2]

Работал бы поиск, было бы лучше
А так придется заново писать.

Итак:
Введем два термина: Автомат и Язык.

Автомат, это некоторый набор инструкций который позволяет обрабатывать некоторый язык.
Язык в свою очередь, состоит из слов, у которых имеется некий общий признак.

Итак, в нашем случае, в роли Автомата будет выступать Антивирус

А в роли слов языка будут выступать вирусы.

Таким образом, наша цель доказать, что не существует такого конечного автомата, который бы мог обрабатывать все возможные вирусы.

Конечный автомат имеет законченную последовательность возможных положений. Конечный автомат строго зафиксирован на тот язык под который построен. Таким образом, невозможная ситуация при которой конечный автомат сможет распознать и обработать слово не вступающее в список слов данного языка.
Поэтому, не существует универсального антивируса который смог бы обработать все вирусы на свете, так как не факт, что будущие вирусы будут подходить под известный антивирусу язык.

Все это является, плодом моих мучительных попыток вспомнить материал предыдущего года

Любые поправки приветствуются