Računalniški virusi in izrek o rekurziji

Teoretična podlaga virusov je izrek o rekurziji (Kleene), ki zagotavlja obstoj programov, ki računajo svoje lastnosti. Zato obstajajo programi, ki izračunajo indeks svoje lastne kompozicije z nekim dr